Call for Participation: Workshop on Formal Methods and Security Protocols
Call for Participation
Workshop on Formal Methods and Security Protocols
Thursday, 25 June, 1998
URGENT: PLEASE REGISTER AND MAKE HOTEL RESERVATIONS IMMEDIATELY!
SEE THE LICS WEB-PAGE http://lics98.cs.indiana.edu/.
Computer security protocols are notoriously difficult to get right.
Surprisingly simple problems with some well known protocols have been found
years after the original protocol was published and extensively analyzed.
Our workshop goal is to bring together the formal methods and security
communities. Security is a current hot topic in the formal methods
community, and we hope that this workshop can help focus these energies.
The overall program will aim to address questions such as: What are the
opportunities in security for more formal reasoning and analysis? Where
should formal methodists be spending their talent, time, and energy? What are
the more pressing security problems now and in the future?
9:00-10:30 Keynote speaker: Roger Needham (Cambridge University)
10:45-12:15 Paper session I:
"Justifying Finite Resources for Adversaries in Automated Analysis of
Scott D. Stoller (Indiana University)
"Using the NRL Protocol Analyzer to Examine Protocol Suites"
Catherine Meadows (NRL)
"A Machine Checkable Logic of Knowledge for Specifying Security
Properties of Electronic Protocols"
Ed Clarke, Will Marrero and Somesh Jha (CMU)
1:20-2:00 Paper session II:
"ActiveSPEC: A Framework for the Specification and Verification of
Active Network Services and Security Policies"
Darryl Dieckman, Perry Alexander and Philip A. Wilsey (U. of Cincinnati)
"Specification and Analysis of Mobile IP Using ASTRAL"
Zhe Dang and Richard Kemmerer (U.C. Santa Barbara)
2:10-3:10 Paper session III:
"Protocol Specification and Analysis in Maude"
G. Denker and J. Meseguer (SRI)
"Relating Two Models of Computation for Security Protocols"
Paul F. Syverson (NRL)
"Strand Space Pictures"
F. Javier Thayer Fabrega, Jonathan C. Herzog
and Joshua D. Guttman (MITRE)
3:10-4:00 Graduate student "work in progress" poster session
4:00-5:30 Panel and Discussion:
Formal Methods ...
What we can do now/soon?
What should we be doing?
Panelists: Martin Abadi (DEC),
Doug Tygar (CMU)
Roger Needham (Cambridge University)
Register using the LICS98 registration procedure (workshop registration is
at the bottom of the LICS registration form). You do not have to
register/attend LICS to go to the workshops. For local arrangements,
printable registration forms and other information, see the LICS98 webpage
http://lics98.cs.indiana.edu/. Early registration is $65, late registration
(after May 15) is $80.
Registration for the first 15 students will be free, courtesy of Bell Labs
(Lucent Technologies). Please register normally using the web registration form,
and put the following comment in the special request field
"student registration to security workshop,
covered by grant"
and deduct the appropriate amount from the total registration fee.
(We will notify you if the grant funds are exhausted.)
Nevin Heintze Jeannette Wing
Bell Laboratories 5000 Forbes Avenue
600 Mountain Ave Computer Science Department
Murray Hill NJ 07974-0636 Carnegie Mellon University
firstname.lastname@example.org Pittsburgh, PA 15213
tel: (908) 582-6419 email@example.com
fax: (908) 582-5857 tel: (412) 268-3068
fax: (412) 268-5576
Bell Labs (Lucent Technologies).