2 options
12th IEEE Computer Security Foundations Workshop. proceedings of the 12th IEEE Computer Security Foundations Workshop : June 28-30, 1999, Mordano, Italy / sponsored by the IEEE Computer Society Technical Committee on Security and Privacy.
- Format:
- Book
- Conference/Event
- Conference Name:
- Computer Security Foundations Workshop (12th : 1999 : Mordano, Italy)
- Language:
- English
- Subjects (All):
- Computer security--Congresses.
- Computer security.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 239 pages : illustrations
- Other Title:
- Computer security foundations
- Half title : CSFW12
- Computer Security Foundations Workshop, 1999, proceedings of the 12th IEEE.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society Press, [1999]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- Formal Models
- A Formal Framework and Evaluation Method for Network Denial of Service / C. Meadows 4
- I/O Automaton Models and Proofs for Shared-Key Communication Systems / N. Lynch 14
- Security Protocol Analysis: Notation, Transformation, and Simplification
- Safe Simplifying Transformations for Security Protocols / M. Hui, G. Lowe 32
- Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief / D. Monniaux 44
- A Meta-Notation for Protocol Analysis / I. Cervesato, N. Durgin, P. Lincoln, J. Mitchell, A. Scedrov 55
- Strand Spaces
- Mixed Strand Spaces / F. Thayer, J. Herzog, J. Guttman 72
- Honest Functions and their Application to the Analysis of Cryptographic Protocols / A. Maneki 83
- Panel: Formalization and Proof of Secrecy Properties / D. Volpano, M. Abadi, R. Focardi, C. Meadows, J. Millen
- Formalization and Proof of Secrecy Properties / D. Volpano 92
- Local Names
- Authentication via Localized Names / C. Bodei, P. Degano, R. Focardi, C. Priami 98
- A Logic for SDSI's Linked Local Name Spaces / J. Halpern, R. van der Meyden 111
- Interaction and Composition
- Trusted System Construction / C. O'Halloran 124
- Secure Composition of Insecure Components / P. Sewell, J. Vitek 136
- Security Function Interactions / P. Bieber 151
- Logics for Authorization and Access Control
- A Logic-based Knowledge Representation for Authorization with Delegation / N. Li, J. Feigenbaum, B. Grosof 162
- A Logical Framework for Reasoning on Data Access Control Policies / E. Bertino, F. Buccafurri, E. Ferrari, P. Rullo 175
- Advances in Automated Security Protocol Analysis
- Athena: A New Efficient Automatic Checker for Security Protocol Analysis / D. Song 192
- CVS: A Compiler for the Analysis of Cryptographic Protocols / A. Durante, R. Focardi, R. Gorrieri 203
- Noninterference Using Process Algebras
- Process Algebra and Non-Interference / P. Ryan, S. Schneider 214
- What Is Intransitive Noninterference? / A. Roscoe, M. Goldsmith 228.
- Notes:
- Includes bibliographical references and author index.
- "IEEE Computer Society Order Number PR00201"--T.p. verso.
- ISBN:
- 0769502016
- 9780769502014
- 0769502024
- 9780769502021
- 0769502032
- 9780769502038
- OCLC:
- 41669873
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.