[Haskell] call for paper: workshop on constraints and security
Stefano Bistarelli
stefano.bistarelli at iit.cnr.it
Thu May 25 15:35:40 EDT 2006
--------------------------------------------------------------------
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 at 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
More information about the Haskell
mailing list