-------------------------------------------------------------------- Call for Papers: CPSec 2006 2nd International Workshop on Applications of Constraint Satisfaction and Programming to Computer Security September 25, 2006 Nantes, France Held in conjunction with 12th International Conference on Principles and Practice of Constraint Programming, CP2006 http://www.sci.unich.it/~bista/organizing/cpsec/ -------------------------------------------------------------------- Constraint Satisfaction and Programming is emerging as an effective and 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): Access Control Database Security Security Trade-offs Information Flow Integrity Configuration Management Security Models Reliability Security Protocols Intrusion Detection Applications Risk Analysis Trust Software Security Trust Negotiation 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. At least one author of each accepted submission must attend the workshop, and all participants must pay the workshop fee. Please send your submissions by email to stefano.bistarelli@iit.cnr.it using the subject line "cpsec-2005 Workshop Submission". Important Dates Paper Submission deadline: June 24 Notification of acceptance: July 22th Early registration deadline: August 1st Camera-ready version deadline: August 5th Workshop Date: September 25, 2006. Workshop Organizers: Giampaolo Bella (Universit`a di Catania, Italy) Stefano Bistarelli (Università degli studi "G. D'Annunzio" di Chieti-Pescara & C.N.R. Pisa, Italy) Simon Foley (University College Cork, Ireland) Fred Spiessens (University College Cork, Ireland) Program Committee: Giampaolo Bella, Catania Fabio Martinelli, CNR Stefano Bistarelli, Pescara and CNR Barry O'Sullivan, Cork Yannick Chevalier, IRIT Justin Pearson, Uppsala Giorgio Delzanno, Genova Michael Rusinowich, LORIA Alessandra Di Pierro, Pisa Fred Spiessens, Cork Fabio Fioravanti, Pescara, Vitaly Shmatikov, Texas Simon Foley, Cork Frank D. Valencia, CNRS John Herbert, Cork Luca Vigano, Zurich Ralf Küsters, Kiel Duminda Wijesekera, GMU Herbert Wiklicky, Imperial