=================================================================================== 1st International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security (CPSec) October 1st, 2005 Barcelona, Spain Held in conjunction with 11th International Conference on Principles and Practice of Constraint Programming, CP2005 http://www.sci.unich.it/~bista/organizing/cpsec/ ==================================================================================== Call for Paper Extended Deadline: Abstract Submission deadline: June 26th Paper Submission deadline: July 1st ==================================================================================== Constraint Satisfaction and Programming is emerging as an effective practical approach for solving large complex problems. It offers a significant body of successful techniques for verifying system properties. Recently, researchers have begun using advances in constraint programming and solving to solve security problems, with success. This workshop seeks to act as a catalyst for this emerging area by exploring the challenges and the potential that these techniques may offer when applied to security problems. The use of Constraint Satisfaction and Programming to address security problems is recent, and it has already produced a number of novel solutions and insights. For example, constraints have been successfully used in the the analysis of security protocols, the development of access control models and mechanisms, firewall configuration and secure system configuration in general. Workshop topics include (but are not limited to): * security models * information flow * trust management * database security * data and system integrity * security protocols * security configuration * access control * secure applications * security trade-offs Submissions The workshop aim is to provide a forum where researchers currently working in the area of security and constraints can discuss their most recent ideas and developments and think together about the most promising new directions. Therefore we encourage the presentation of work in progress or on specialized aspects of the area. Papers that bridge the gap between theory and practice are especially welcome. Prospective attendees can submit a paper, which can be up to 15 pages in length. We encourage authors to submit papers electronically in postscript or pdf format. Papers should be formatted using the Lecture Notes in Computer Science (LNCS) style. Please send your submissions by email to stefano.bistarelli@iit.cnr.it using the subject line "cpsec-2005 Workshop Submission". At least one author of each accepted submission must attend the workshop, and all participants must pay the workshop fee (which covers both CP'05 and ICLP'05 workshops). Important Dates The proposed schedule of important dates for the workshop is as follows: Abstract Submission deadline: June 26th Paper Submission deadline: July 1st Notification of acceptance: July 24th Early registration deadline: August 1st Camera-ready version deadline: August 16th Workshop Date: October 1st Workshop Organizers: Giampaolo Bella Dipartimento di Matematica e Informatica Universit`a di Catania, Italy Email: giamp@dmi.unict.it Web: http://www.dmi.unict.it/~giamp/ and Stefano Bistarelli (Primary Contact) Dipartimento di Scienze Università degli studi "G. D'Annunzio" di Chieti-Pescara, Italy Email: bista@sci.unich.it Web: http://www.sci.unich.it/~bista/ and Istituto di Informatica e Telematica C.N.R. Pisa, Italy Email: stefano.bistarelli@iit.cnr.it and Simon N. Foley Department of Computer Science University College Cork, Ireland Email: s.foley@cs.ucc.ie Web: http://www.cs.ucc.ie/~simon/ and Barry O'Sullivan Cork Constraint Computation Centre University College Cork, Ireland and Department of Computer Science University College Cork, Ireland Email: b.osullivan@cs.ucc.ie Web: http://www.cs.ucc.ie/~osullb/ Program Committee: Giampaolo Bella -- Dipartimento di Matematica e Informatica, Universita' di Catania, Italy Stefano Bistarelli -- Universita' degli Studi "G. D'annunzio", Pescara, Italy and IIT-CNR, Pisa, Italy Yannick Chevalier -- Institut de Recherche en Informatique de Toulouse (IRIT), France Giorgio Delzanno -- Dipartimento Informatica e Scienze dell'Informazione, Università di Genova, Italy Alessandra Di Pierro -- Dipartimento di Informatica, University of Pisa, Italy Fabio Fioravanti -- Universita' degli Studi "G. D'annunzio", Pescara, Italy Simon Foley -- Department of Computer Science University College Cork, Ireland John Herbert -- Department of Computer Science University College Cork, Ireland Fabio Martinelli -- Istituto di Informatica e Telematica, CNR, Pisa, Italy Barry O'Sullivan -- Cork Constraint Computation Centre, University College Cork, Ireland Michael Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France Justin Pearson -- Department of information technology, Uppsala University, Sweden Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas at Austin, USA Fred Spiessens -- Université catholique de Louvain, Louvain-la-Neuve, Belgium Garret Swart -- IBM Almaden Research Center, California, USA Peter Van Roy -- Université catholique de Louvain, Louvain-la-Neuve, Belgium Luca Vigano -- ETH, Zurich, Switzerland Duminda Wijesekera -- ISE, George Mason University, USA