10th Computer Security Foundations Workshop (CSFW 97), June 10-12, 1997, Rockport, Massachusetts, USA - researchr publication

researchr

You are not signed in
Sign in
Sign up

10th Computer Security Foundations Workshop (CSFW 97), June 10-12, 1997, Rockport, Massachusetts, USA. IEEE Computer Society, 1997.

Conference: csfw1997

Abstract is missing.

Verifying authentication protocols with CSPSteve Schneider. 3-17 [doi]

Casper: A Compiler for the Analysis of Security ProtocolsGavin Lowe. 18-30 [doi]

A Hierarchy of Authentication SpecificationGavin Lowe. 31-44 [doi]

Provable Security for Cryptographic Protocols: Exact Analysis and Engineering ApplicationsJames W. Gray III, Kin Fai Epsilon Ip, King-Shan Lui. 45-58 [doi]

Strategies against Replay AttacksTuomas Aura. 59-69 [doi]

Proving Properties of Security Protocols by InductionLawrence C. Paulson. 70-83 [doi]

Mechanized proofs for a recursive authentication protocolLawrence C. Paulson. 84-95 [doi]

Languages for Formal Specification of Security ProtocolsCatherine Meadows. 96-97 [doi]

On SDSI s Linked Local Name SpacesMartín Abadi. 98-108 [doi]

A Different Look at Secure Distributed ComputationPaul F. Syverson. 109-115 [doi]

Unreliable Intrusion Detection in Distributed ComputationsDahlia Malkhi, Michael K. Reiter. 116-125 [doi]

An Efficient Non-repudiation Protocol Jianying Zhou, Dieter Gollmann. 126-132 [doi]

Towards the Formal Verification of Electronic Commerce ProtocolsDominique Bolignano. 133-147 [doi]

A Theory for System SecurityKan Zhang. 148-155 [doi]

Eliminating Covert Flows with Minimum TypingsDennis M. Volpano, Geoffrey Smith. 156-169 [doi]

The Computer Security Foundations Workshop: Ten Years on and Ten Years AheadJ. Sinclair. 170-172 [doi]

A Logic For State Transformations in Authorization PoliciesYun Bai, Vijay Varadharajan. 173-182 [doi]

Separation of Duty in Role-based EnvironmentsRichard Simon, Mary Ellen Zurko. 183-194 [doi]

Security Engineering of Lattice-Based PoliciesCiarán Bryce. 195-208 [doi]

runs on WebDSL