The MFPS XV Security Session
Catherine A. Meadows, Dennis Volpano · Electronic Notes in Theoretical Computer Science · 1999
Introduction 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. And their importance is growing. 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, 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 Mart'in 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. In this introduction, we give an overview of these areas and in