Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.cs.bell-labs.com/who/nch/fmsp99/
Organizers: Edmund Clarke (CMU), Nevin Heintze (Bell Labs)
Deadline for abstracts: March 26, 1999
Description:
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.
Topics of interest include descriptive techniques (specification languages, models, logics) and analysis techniques (model checking, theorem proving, and their combination), as applied to protocols for authentication, fair exchange, electronic commerce, and electronic auctions. However, this list is not exclusive. We particularly want to hear about new approaches, new problems, new security properties, and new protocol bugs. Reports on work in progress are welcome.
The program of the workshop will include a keynote address by Catherine Meadows, a number of technical sessions (with talks of about 15-20 minutes duration), and a panel discussion.
Speakers: Catherine Meadows
Date received: February 07, 1999
© 2008 Atlas Conferences Inc.