CSFW 2005 - PDF Preprint Papers

CSFW 2005 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2005 Paper

click to vote

CSFW
2005
IEEE

188views Security Privacy» more CSFW 2005»

Compositional Analysis of Contract Signing Protocols

13 years 10 months ago

Download www.andrew.cmu.edu

We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...

Michael Backes, Anupam Datta, Ante Derek, John C. ...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	188	Compositional Analysis of Contract Signing Protocols	claim
2	143	Belief in Information Flow	claim
3	140	Deciding Knowledge in Security Protocols under (Many More) Equational Theories	claim
4	136	Achieving Information Flow Security through Precise Control of Effects	claim
5	136	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols	claim
6	125	Computational and Information-Theoretic Soundness and Completeness of Formal Encryption	claim
7	124	Analysis of Typed Analyses of Authentication Protocols	claim
8	123	Language-Based Information Erasure	claim
9	122	A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System	claim
10	113	Game-Based Analysis of Denial-of-Service Prevention Protocols	claim
11	101	Temporal Rank Functions for Forward Secrecy	claim
12	99	Enforcing Secure Service Composition	claim
13	96	End-to-End Availability Policies and Noninterference	claim
14	90	Nomad: A Security Model with Non Atomic Actions and Deadlines	claim
15	87	Reconstruction of Attacks against Cryptographic Protocols	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers