Call For Papers 14th IEEE Computer Security Foundations Workshop June 11-13, 2001 Keltic Lodge, Cape Breton, Nova Scotia, Canada Sponsored by the Technical Committee on Security and Privacy of the IEEE Computer Society

This workshop series brings together researchers in computer science to examine foundational issues in computer security. For background information about the workshop, see the CSFW home page. This year the workshop will be in Cape Breton, Nova Scotia, Canada.

We are interested both in new results in theories of computer security and also in more exploratory presentations that examine open questions and raise fundamental concerns about existing theories. Both papers and panel proposals are welcome.

Possible topics include, but are not limited to:

access control database security anonymity security protocols privacy information flow

authentication network security intrusion detection security models executable content

data and system integrity distributed systems security security for mobile computing decidability issues formal methods for security

The proceedings are published by the IEEE Computer Society and will be available at the workshop. Selected papers will be invited for submission to the Journal of Computer Security.

Instructions for Participants

To submit a paper, send to s.schneider@rhbnc.ac.uk a plain ASCII text email containing the title and abstract of your paper, the authors' names, email and postal addresses, phone and fax numbers, and identification of the contact author. To the same message, attach your submission (as a MIME attachment) in PDF or portable postscript format. Do not send files formatted for word processing packages (e.g., Microsoft Word or WordPerfect files).

Submissions received after the submission deadline or failing to conform to the guidelines above risk rejection without consideration of their merits. Where possible all further communications to authors will be via email. If for some reason you cannot conform to these submission guidelines, please contact the program chair at s.schneider@rhbnc.ac.uk.

Important Dates

Program Committee

• Pierre Bieber, ONERA, France
• Ed Clarke, Carnegie Mellon University, USA
• Riccardo Focardi, University of Venice, Italy
• Dieter Gollmann, Microsoft Research, UK
• Li Gong, Sun Microsystems, USA
• Carl Gunter, University of Pennsylvania, USA
• Joshua Guttman, MITRE, USA
• Gavin Lowe, Oxford University, UK
• Teresa Lunt, Xerox PARC, USA
• Fabio Martinelli, IAT-CNR, Italy
• John McLean, Naval Research Laboratory, USA
• Ravi Sandhu, George Mason University, USA
• Andre Scedrov, University of Pennsylvania, USA
• Steve Schneider (chair), Royal Holloway, University of London, UK
• Rebecca Wright, AT&T Labs, USA

Workshop Location

The Keltic Lodge is 4 hours by car from Halifax International Airport along a magnificent drive. There are direct flights between Halifax and numerous European and American cities. Sydney Regional Airport is 1 1/2 hours by car from the Keltic Lodge and has flights every 2 hours to Halifax. People attending LICS 2001 in Boston may also consider the ferry between Portland, ME and Yarmouth, NS. More travel information can be found by following this link, this link and this link.

For further information contact:

General Chair	Program Chair	Publications Chair
Iliano Cervesato ITT Industries, Inc. - AES Division 2560 Huntington Avenue Alexandria, VA 22303-1410 USA +1-202-404-4909 iliano@itd.nrl.navy.mil	Steve Schneider Department of Computer Science Royal Holloway, University of London Egham, Surrey, TW20 0EX UK +44 1784 443431 s.schneider@rhbnc.ac.uk	Jonathan Herzog The MITRE Corporation 202 Burlington Road Bedford, MA 01730-1420 USA +1-781-271-2907 jherzog@mitre.org