[TYPES/announce] Call for papers: 4th ACM Workshop on Formal Methods in Security Engineering (FMSE'06)

[Andy Gordon (MSR)]

[Type-based approaches to language-based security are welcomed by FMSE.]

CALL FOR PAPERS

The 4th ACM Workshop on 
Formal Methods in Security Engineering: 
>From Specifications to Code
(FMSE'06)

Friday Nov. 3, 2006, 
Johnson Center, George Mason University, Fairfax, Virginia, USA 

held in conjunction with the 
13th ACM Conference on Computer and Communications Security (CCS'06) 

SCOPE

Information security has become a crucial concern for the commercial
deployment of almost all applications and middleware.  Although this is
commonly recognized, the incorporation of security requirements in the
software development process is not yet well understood.  The
deployment of security mechanisms is often ad hoc, without a formal
security specification or analysis, and practically always without a
formal security validation of the final product.  Progress is being
made, but there remains a wide gap between high-level security models
and actual code development.

We aim to bring together researchers and practitioners from both the
security and the software engineering communities, from academia and
industry, who are working on applying formal methods to the design and
validation of large-scale systems.

We seek original research papers addressing foundational issues in
formal methods in security engineering.  Topics covered include, but
are not limited to:

security specification techniques; formal trust models; combination of
formal techniques with semi-formal techniques such as UML; formal
analyses of specific security properties relevant to software
development; security-preserving composition and refinement of
processes; symbolic and computational models of security protocols;
integration of security aspects into formal development methods and
tools; access control policies; information flow; language-based security; risk management and network security; formal analysis of firewalls and intrusion detection systems; trusted computing; and case studies.

All the FMSE workshops have been co-located with CCS, with proceedings
published by the ACM. FMSE 2006 is the fourth in the series.

All submissions will be peer-reviewed.  Authors of accepted papers must
guarantee that their paper will be presented at the workshop.  Final
proceedings will be published by ACM.

PROGRAM CHAIRS
 
Andrew D. Gordon, Microsoft Research, UK 
David Sands, Chalmers University of Technology, Sweden 

PROGRAM COMMITTEE 

Michael Backes, Saarland University, Germany 
Jason Crampton, Royal Holloway, University of London, UK 
Virgil Gligor, University of Maryland, USA 
Andrew D. Gordon, Microsoft Research, UK 
Jean Goubault-Larrecq, CNRS and ENS, Cachan, France 
Alan Jeffrey, Bell Labs, USA 
Trevor Jim, AT&T Research, USA 
Heiko Mantel, RWTH Aachen, Germany 
Riccardo Pucella, Northeastern University, USA 
John Rushby, SRI, USA 
Mark Ryan, University of Birmingham, UK 
Pierangela Samarati, University of Milan, Italy 
David Sands, Chalmers University of Technology, Sweden 
Luca Viganò, ETH Zurich, Switzerland 
Steve Zdancewic, University of Pennsylvania, USA 

FMSE STEERING COMMITTEE

Michael Backes, Saarland University, Germany 
David Basin, ETH Zurich, Switzerland 
Michael Waidner, IBM Zurich Research Lab, Switzerland

RESOURCES

FMSE 2006 information:          http://www.cs.chalmers.se/~dave/FMSE06
FMSE 2006 submissions:          http://www.easychair.org/FMSE06/
CCS 2006:                       http://www.acm.org/sigs/sigsac/ccs/CCS2006
All previous proceedings:       http://portal.acm.org/toc.cfm?id=SERIES11255

IMPORTANT DATES

Submission deadline:            Friday June 16, 2006  
Author notification:            Friday July 28, 2006  
Camera-ready deadline:          Monday August 21, 2006  
CCS main conference:            Monday October 30-Thursday November 2, 2006  
FMSE 2006:                      Friday November 3, 2006  

SUBMISSION GUIDELINES

Submissions must be received by June 16, 2006 to be considered. If you
have problems, please contact the program chairs.

Submissions must not substantially overlap papers that have been
published or that are simultaneously submitted to a journal or a
conference with proceedings.

The paper must list all authors and their affiliations. It should
begin with a title, a short abstract, and a list of key words, and its
introduction should summarize the contributions of the paper at a
level appropriate for a non-specialist reader. The paper should be at
most 12 pages excluding the bibliography and clearly marked
appendices, and at most 15 pages in total, using at least 11-point
font, reasonable margins, and page numbers on each page. Committee
members are not required to read appendices; the paper should be
intelligible without them. The document must be in Acrobat PDF format,
and must be legible after printing on standard grayscale printers,
both those that use A4 and those that use 8-1/2x11" paper. Submissions
not meeting these guidelines risk rejection without consideration of
their merits.

Papers must be submitted via the electronic submission page
at http://www.easychair.org/FMSE06/