• C
  • CSFW
  • 1999
  • 1999 IEEE Computer Security Foundations Workshop
Advanced Search 
1999 IEEE Computer Security Foundations Workshop
Mordano, Italy
June 28-June 30
ISBN: 0-7695-0201-6
Table of Contents
Formal Models
Security Protocol Analysis: Notation, Transformation, and Simplification
Strand Spaces
Panel: Formalization and Proof of Secrecy Properties: Chair: D. Volpano: Panelists: M. Abadi, R. Focardi, C. Meadows and J. Millen
Local Names
Interaction and Composition
Logics for Authorization and Access Control
Elisa Bertino, Universit? degli Studi di Milano
Elena Ferrari, Universit? degli Studi di Milano
Francesco Buccafurri, Universit? di Reggio Calabria
Pasquale Rullo, Universit? della Calabria
pp. 175
Advances in Automated Security Protocol Analysis
Noninterference Using Process Algebras
P Y A Ryan, Defence Evaluation and Research Agency
S A Schneider, University of London
pp. 214
Usage of this product signifies your acceptance of the Terms of Use.