Here's a Call for Papers for a workshop in an applied area that
increasingly uses the methods discussed on this mailing list.
Thanks.
Joshua Guttman
-------------------------------------------------------------------------
Call for Papers
Workshop on Issues in the Theory of Security
(WITS '02)
<URL:http://www.dsi.unive.it/IFIPWG1_7/wits2002.html>
Portland Oregon, USA
January 14-15 2002
Co-located with POPL '02
<URL:http://www.cse.ogi.edu/PacSoft/conf/popl/index.htm>,
the 29th Annual ACM Symposium
on Principles of Programming Languages
(January 16-18 2002)
-------------------------------------------------------------------------
IMPORTANT DATES/DEADLINES:
o Submission of papers: 21 September 2001
o Notification of acceptance: 26 October 2001
o Workshop: 14-15 January 2002
OVERALL TOPIC AND FORMAT OF WORKSHOP:
The IFIP WG 1.7 <URL:http://www.dsi.unive.it/IFIPWG1_7/index.html> on
"Theoretical Foundations of Security Analysis and Design" was
established to investigate the theoretical foundations of security. It
aims to discover and promote new ways to apply theoretical techniques
in computer security, and to support the systematic use of formal
techniques in the development of security related applications.
The workshop of Working Group 1.7 is an open event. All researchers
working on the theory of computer security are invited. WITS '02 is the
second workshop, the first having been held in Geneva in July 2000
(WITS'00).
The program will encourage discussions by all attendees, both during
and after scheduled presentations, on participants' ongoing
work. Extended abstracts of work presented at the Workshop will be
collected before the workshop and distributed to the participants. As
in 2000, there will be no formally published proceedings of this
year's workshop; however, selected papers will be invited for
submission to a special issue of the Journal of Computer Security
<URL:http://www.csl.sri.com/jcs/> based on the Workshop.
POSSIBLE TOPICS FOR SUBMITTED PAPERS:
Researchers are invited to submit extended abstracts of original work on
topics in the spirit of the workshop. Possible topics for submitted
papers include, but are not limited to:
o formal definitions for the various aspects of security, and
verification methods for them. They include confidentiality,
privacy, integrity, authentication and availability;
o new theoretically-based techniques for analysis and design of
cryptographic protocols and their manifold applications (e.g.,
electronic commerce);
o relationships between cryptographic and non-cryptographic theories
of security;
o information flow modeling and its application to the theory of
confidentiality policies, composition of systems, and covert channel
analysis;
o formal techniques for the analysis and verification of mobile code;
o theory of privacy and anonymity;
o formal analysis and design for prevention of denial of service.
PROGRAM COMMITTEE:
Pierpaolo Degano, Universitą di Pisa
Riccardo Focardi, Universitą di Venezia
Dieter Gollmann, Microsoft Research
Li Gong, JavaSoft, Sun Microsystems
Roberto Gorrieri, Universitą di Bologna
Joshua Guttman (chair), MITRE
Cathy Meadows, Naval Research Laboratory
Jon Millen, SRI International
Peter Ryan, SEI, Carnegie Mellon
Steve Schneider, Royal Holloway, University of London
Paul Syverson, Naval Research Laboratory
SUBMISSION INSTRUCTIONS:
Authors are invited to submit an extended abstract, up to 5 pages
long, with 11pt or larger font and reasonable margins and line
spacing, through the web
<URL:http://www.dsi.unive.it/IFIPWG1_7/WITS2002/WITSsubm.html>.
Alternatively, they may e_mail a .ps file <URL:mailto:
wits2002@dsi.unive.it>. If necessary, they may mail a single hard copy
of their paper to the program chair; in the last case, please allow
ample time for delivery.
Submissions may cover the same material as POPL '02 submissions. These
abstracts should be marked "POPL co-submission", and will be considered
by the WITS program committee only if rejected from POPL.
Submissions should have the author's full name, address, fax number, and
e-mail address.
VENUE:
The workshop is co-located with the POPL '02 conference, which will be
held at the Portland Marriott Downtown in Portland Oregon. Information on
room rates, registration, etc. will be made available once they have been
finalized in conjunction with POPL '02.
CONTACT INFORMATION:
Web: http://www.dsi.unive.it/IFIPWG1_7/wits2002.html
Program chair: Joshua Guttman
Postal address:
The MITRE Corporation, MS S119
202 Burlington Rd.
Bedford, MA 01730 USA
E-mail: guttman@mitre.org
Telephone: +1 781 271 2654
Fax: +1 781 271 8953
General chair: Paul Syverson
Postal address:
Code 5543
Naval Research Laboratory
Washington DC 20375 USA
E-mail: syverson@itd.nrl.navy.mil
Telephone: +1 202 404 7931
Fax: +1 202 404 1167
Web: www.syverson.org
Title: WITS '02 call for papers
The workshop of Working Group 1.7 is an open event. All researchers working on the theory of computer security are invited. WITS '02 is the second workshop, the first having been held in Geneva in July 2000 (WITS'00).
The program will encourage discussions by all attendees, both
during and after scheduled presentations, on participants' ongoing
work. Extended abstracts of work presented at the Workshop will be
collected before the workshop and distributed to the participants. As
in 2000, there will be no formally published proceedings of this
year's workshop; however, selected papers will be invited for
submission to a special issue of the Journal of Computer Security
based on the Workshop.
Submissions may cover the same material as POPL '02 submissions. These abstracts should be marked "POPL co-submission", and will be considered by the WITS program committee only if rejected from POPL.
Submissions should have the author's full name, address, fax number, and e-mail address.
Program chair: Joshua Guttman
Postal address:
The MITRE Corporation, MS S119
202 Burlington Rd.
Bedford, MA 01730 USA
E-mail: guttman@mitre.org
Telephone: +1 781 271 2654
Fax: +1 781 271 8953
General chair: Paul Syverson
Postal address:
Code 5543
Naval Research Laboratory
Washington DC 20375 USA
E-mail: syverson@itd.nrl.navy.mil
Telephone: +1 202 404 7931
Fax: +1 202 404 1167
Web: www.syverson.org
-- Joshua D. Guttman <guttman@mitre.org> MITRE, Mail Stop S119 202 Burlington Rd. Tel: +1 781 271 2654 Bedford, MA 01730-1420 USA Fax: +1 781 271 8953