Security Goals: Packet Trajectories and Strand Spaces

This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in September 2000. It has two main purposes. The first purpose is to explain how to model and analyze two important security problems, and how to derive systematic solutions to them. One problem area is the "packet protection problem," concerning how to use the security services provided by routers--services such as packet filtering and the IP security protocols--to achieve useful protection in complex networks. The other problem area, the "Dolev-Yao" problem, concerns how to determine, given a cryptographic protocol, what authentication and confidentiality properties it achieves, assuming that the cryptographic primitives it uses are ideal. Our secondary purpose is to argue in favor of an overall approach to modeling and then solving information security problems. We argue in favor of discover...

• Type: Conference
• Year: 2000
• Where: FOSAD
• Authors: Joshua D. Guttman
• Keywords: FOSAD 2000, Information Security Problem, Security, Security Privacy, Security Problem