Submission Deadline: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.
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 by March 1, 2002. The following timetable will apply:
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