CALL FOR PAPERS
IEEE Journal on Selected Areas in Communications

DESIGN AND ANALYSIS TECHNIQUES FOR SECURITY ASSURANCE

Information security plays a dominant and increasingly critical role in
society. It is therefore essential that we have effective tools and
techniques to design and evaluate secure systems and demonstrate that
they meet their security requirements.  The application of rigorous
methods to the specification, modelling, analysis, and design of
security-critical systems has made considerable strides in recent years,
and the field is rapidly gaining in maturity.

The scope of this issue will range over all rigorous, mathematically
well founded, approaches to all aspects of security system development. 
This issue is intended to gather together the leading edge approaches in
this area.

Papers are solicited in the following areas:
* Security protocol analysis
* Computer security models and policies
* Information flow
* Secure architectures
* Mobility
* Tools for security analysis
* Languages
* Logics
* Static/typechecking techniques
* Smartcards

Original, unpublished contributions and invited articles will be
considered for the issue. The paper should be no longer than 20
double-spaced pages, excluding illustrations and graphs and follow the
IEEE J-SAC manuscript format described in the Information for Authors.
Authors wishing to submit papers should send an electronic version
(postscript or PDF files ONLY) to Steve Schneider at
S.Schneider@rhul.ac.uk by March 1, 2002.  The following timetable will
apply:

Submission Deadline:            March 1, 2002
Acceptance Notification:        July 15, 2002
Final Manuscript Due:           September 15, 2002
Publication:                    1st Quarter 2003
                                                         
Guest Editors

Li Gong                         
SUN Microsystems        

Joshua Guttman
The MITRE Corp

Peter Ryan
Carnegie Mellon Univ

Steve Schneider
Royal Holloway
Univ of London