The MFPS XV Security Session
Abstract
Security has long been a popular application of formal methods. This is because it is a fertile source of challenging problems that are important enough to justify the effort involved in developing mathematical models and formal techniques. We are moving to a more networked world where our vital transactions depend upon our ability to communicate securely over an untrusted network and upon information and software obtained from parties about whom we may know little if anything. To meet these challenges, Mathematical Foundations of Programming Semantics (MFPS) is bringing people in formal methods and semantics together with researchers in the field of security. A special session of MFPS15 was devoted to security. It involved one invited talk by Martin Abadi and six speakers: Dominique Bolignano, Carl Gunter, Pat Lincoln, George Necula, Geoffrey Smith, and Paul Syverson. The speakers covered four major areas of security: Cryptographic Protocol Verification, Public Key Infrastructure, Secrecy Models, and Code Verification. In this paper, the authors present an overview of these areas and indicate why they are important and what makes them difficult. They also give a brief outline of the speakers' talks.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jan 01, 1999
- Accession Number
- ADA487379
Entities
People
- Catherine Meadows
- Dennis Volpano
Organizations
- United States Naval Research Laboratory