2 options
13th IEEE Computer Security Foundations Workshop, CSFW-13. July 3-5, 2000, Cambridge, England : proceedings / sponsored by the IEEE Computer Society Technical Committee on Security and Privacy.
Connect to full text Available online
View online- Format:
- Book
- Conference/Event
- Conference Name:
- Computer Security Foundations Workshop (13th : 2000 : Cambridge, England)
- Language:
- English
- Subjects (All):
- Computer security--Congresses.
- Computer security.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- ix, 285 pages : illustrations
- Other Title:
- Thirteenth IEEE Computer Security Foundations Workshop, CSFW-13
- Computer Security Foundations Workshop, 2000, CSFW-13, proceedings, 13th IEEE.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2000]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- Names and Certificates
- Local Names In SPKI/SDSI / N. Li 2
- Reasoning about Trust and Insurance in a Public Key Infrastructure / J. Millen, R. Wright 16
- Strands and Multiset Rewriting
- Protocol Independence through Disjoint Encryption / J. Guttman, F. J. Thayer 24
- Relating Strands and Multiset Rewriting for Security Protocol Analysis / I. Cervesato, N. Durgin, J. Mitchell, P. Lincoln, A. Scedrov 35
- Optimizing Protocol Rewrite Rules of CIL Specifications / G. Denker, J. Millen, A. Grau, J. Filipe 52
- Automated Security Protocol Methods
- Looking for Diamonds in the Desert
- Extending Automatic Protocol Generation to Three-Party Authentication and Key Agreement Protocols / A. Perrig, D. Song 64
- C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis / A. Dekker 77
- An Executable Specification Language for Planning Attacks to Security Protocols / L. Aiello, F. Massacci 88
- Foundations for Intrusion Detection? / T. Lunt 104
- Network Security
- Analyzing Single-Server Network Inhibition / T. Aura, M. Bishop, D. Sniegowski 108
- Reasoning about Secrecy for Active Networks / P. Kakkar, C. Gunter, M. Abadi 118
- Invariants, Induction, Ranks, Languages, and Ideals
- Towards Automatic Verification of Authentication Protocols on an Unbounded Network / J. Heather, S. Schneider 132
- TAPS: A First-Order Verifier for Cryptographic Protocols / E. Cohen 144
- Invariant Generation Techniques in Cryptographic Protocol Analysis / C. Meadows 159
- Noninterference and Information Flow
- Information Flow Analysis in a Discrete-Time Process Algebra / R. Focardi, R. Gorrieri, F. Martinelli 170
- Possibilistic Definitions of Security
- An Assembly Kit / H. Mantel 185
- Probabilistic Noninterference for Multi-Threaded Programs / A. Sabelfeld, D. Sands 200
- Lorenz and Colossus / A. Sale 216
- Java and Mobile Code Security
- An Operational Semantics of Java 2 Access Control / G. Karjoth 224
- Confidentiality for Mobile Code: The Case of a Simple Payment Protocol / M. Dam, P. Giambiagi 233
- Types and Language-Based Security
- Secure Introduction of One-Way Functions / D. Volpano 246
- How to Prevent Type Flaw Attacks on Security Protocols / J. Heather, G. Lowe, S. Schneider 255
- Secure Composition of Untrusted Code: Wrappers and Causality Types / P. Sewell, J. Vitek 269.
- Notes:
- "IEEE Computer Society order number PR00671"--T.p. verso.
- ISBN:
- 0769506712
- 9780769506715
- 0769506720
- 9780769506722
- 0769506739
- 9780769506739
- OCLC:
- 44616614
- 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.