2 options
14th IEEE Computer Security Foundations Workshop. proceedings : 11-13 June, 2001, Cape Breton, Nova Scotia, Canada / sponsored by the IEEE Computer Society Technical Committee on Security and Privacy.
- Format:
- Book
- Conference/Event
- Conference Name:
- Computer Security Foundations Workshop (14th : 2001 : Cape Breton, N.S.)
- Language:
- English
- Subjects (All):
- Computer security--Congresses.
- Computer security.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 307 pages : illustrations
- Other Title:
- IEEE Computer Security Foundations Workshop
- CSFW-14
- Computer Security Foundations Workshop, 2001, proceedings, 14th IEEE.
- Place of Publication:
- Los Alamitos, Calif. : IEEE Computer Society, [2001]
- System Details:
- Mode of access: World Wide Web.
- text file
- Contents:
- Non-interference & Information Flow
- Noninterference Equations for Nondeterministic Systems / S. Pinsky, E. Zieglar 3
- Robust Declassification / S. Zdancewic, A. Myers 15
- Access Control
- A State-Transition Model of Trust Management and Access Control / A. Chander, D. Dean, J. Mitchell 27
- Revocations
- A Classification / A. Hagstrom, S. Jajodia, F. Parisi-Presicce, D. Wijesekera 44
- A Logical Reconstruction of SPKI / J. Halpern, R. van der Meyden 59
- Protocols I
- A Security Analysis of the Cliques Protocols Suites / O. Pereira, J.-J. Quisquater 73
- An Efficient Cryptographic Protocol Verifier Based on Prolog Rules / B. Blanchet 82
- Proving Secrecy is Easy Enough / V. Cortier, J. Millen, H. Ruess 97
- Relating Cryptography and Cryptographic Protocols / A. Scedrov (Moderator), R. Canetti, J. Guttman, D. Wagner, M. Waidner 111
- Information Flow & Multi-threading
- A New Type System for Secure Information Flow / G. Smith 115
- A Generic Approach to the Security of Multi-threaded Programs / H. Mantel, A. Sabelfeld 126
- Protocols II
- Authenticity by Typing for Security Protocols / A. Gordon, A. Jeffrey 145
- Computing Symbolic Models for Verifying Cryptographic Protocols / M. Fiore, M. Abadi 160
- Protocol Insecurity with Finite Number of Sessions is NP-Complete / M. Rusinowitch, M. Turuani 174
- Intrusion Tolerance & Detection
- Multi-phase Damage Confinement in Database Systems for Intrusion Tolerance / P. Liu, S. Jajodia 191
- Markov Chains, Classifiers, and Intrusion Detection / S. Jha, K. Tan, R. Maxion 206
- Log Auditing through Model-Checking / M. Roger, J. Goubault-Larrecq 220
- Non-interference: Who Needs It? / P. Ryan (Moderator), J. McLean, J. Millen, V. Gligor 237
- Logics for Protocol Verification
- A Compositional Logic for Protocol Correctness / N. Durgin, J. Mitchell, D. Pavlovic 241
- Logical Relations for Encryption / E. Sumii, B. Pierce 256
- Secrecy & Privacy
- Privacy-Preserving Cooperative Scientific Computations / W. Du, M. Atallah 273
- Confined Mobile Functions / Z. Kirli 283
- Confidentiality-Preserving Refinement / M. Heisel, A. Pfitzmann, T. Santen 295.
- Notes:
- "IEEE Computer Society Order Number PR01146"--T.p. verso.
- Includes bibliographical references and author index.
- ISBN:
- 0769511465
- 9780769511467
- 0769511473
- 9780769511474
- 0769511481
- 9780769511481
- OCLC:
- 47163367
- 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.