The Community for Technology Leaders
RSS Icon
Computer Security Foundations Workshop, IEEE (1999)
Mordano, Italy
June 28, 1999 to June 30, 1999
ISBN: 0-7695-0201-6
Preface (PDF)
pp. vii
pp. viii
Formal Models
Nancy Lynch , Massachusetts Institute of Technology
pp. 14
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
Colin O'Halloran , Systems Assurance Group
pp. 124
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
A.W. Roscoe , Oxford University
M.H. Goldsmith , Formal Systems (Europe) Ltd
pp. 228
pp. 239
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool