[E-Lang] Workshop on Issues in the Theory of Security

[Ken Kahn]

MarkM suggested I forward this here.

-ken

> -------------------------------------------------------------------------
> 
>      Final 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=E0 di Pisa
> Riccardo Focardi, Universit=E0 di Venezia
> Dieter Gollmann, Microsoft Research
> Li Gong, JavaSoft, Sun Microsystems
> Roberto Gorrieri, Universit=E0 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
>