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):

Back to top Back to top

Submissions 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-2006 Workshop Submission".

Back to top Back to top

Important Dates IMPORTANT DATES  

The proposed schedule of important dates for the workshop is as follows:

Back to top Back to top

Workshop Organizers WORKSHOP ORGANIZERS  

Giampaolo Bella
Dipartimento di Matematica e Informatica
Università di Catania, Italy
Email: giamp@dmi.unict.it
Web: http://www.dmi.unict.it/~giamp/
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/
Istituto di Informatica e Telematica
C.N.R. Pisa, Italy
Email: stefano.bistarelli@iit.cnr.it
Simon N. Foley
Department of Computer Science
University College Cork, Ireland
Email: s.foley@cs.ucc.ie
Web: http://www.cs.ucc.ie/~simon/
Fred Spiessens
Cork Constraint Computation Center, Ireland
Email: f.spiessens@4c.ucc.ie
Web: http://4c.ucc.ie/~fsp/
Catholic University of Louvain, Belgium
Back to top Back to top

Program Committee PROGRAM COMMITTEE  

Giampaolo Bella -- Dipartimento di Matematica e Informatica, Universita' di Catania, Italy

Stefano Bistarelli -- Università degli Studi "G. d'Annunzio", Pescara, Italy and IIT-CNR, Pisa, Italy

Yannick Chevalier -- LORIA-INRIA, Universités Henri Poincaré, France

Giorgio Delzanno -- DISI, 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

Ralf Kuesters -- Institut für Informatik und Praktische Mathematik, Germany

Fabio Martinelli -- Istituto di Informatica e Telematica, CNR, Pisa, Italy

Barry O'Sullivan -- Cork Constraint Computation Centre, University College Cork, Ireland

Justin Pearson -- Department of information technology, Uppsala University, Sweden

Michael Rusinowitch -- INRIA Lorraine, Villers les Nancy, Cedex, France

Vitaly Shmatikov -- Department of Computer Sciences, The University of Texas at Austin, USA

Fred Spiessens -- U.C.L. Louvain-la-Neuve, Belgium

Luca Vigano -- ETH, Zurich, Switzerland

Duminda Wijesekera -- ISE, George Mason University, USA

Herbert Wiklicky -- Department of Computing, Imperial College London, UK

Frank D. Valencia -- LIX, Ecole Polytechnique, France

Back to top Back to top