CSFW 2004 - PDF Preprint Papers

CSFW 2004 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2004 Paper

click to vote

CSFW
2004
IEEE

183views Security Privacy» more CSFW 2004»

Formal Analysis of Multi-Party Contract Signing

13 years 8 months ago

Download www.cs.uiuc.edu

We analyze the multi-party contract-signing protocols of Garay and MacKenzie (GM) and of Baum and Waidner (BW). We use a finite-state tool, MOCHA, which allows specification of pr...

Rohit Chadha, Steve Kremer, Andre Scedrov

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	183	Formal Analysis of Multi-Party Contract Signing	claim
2	157	Cassandra: Flexible Trust Management, Applied to Electronic Health Records	claim
3	140	Enforcing Robust Declassification	claim
4	137	Abstraction and Refinement in Protocol Derivation	claim
5	133	Modelling Downgrading in Information Flow Security	claim
6	132	The Consistency of Task-Based Authorization Constraints in Workflow Systems	claim
7	131	By Reason and Authority: A System for Authorization of Proof-Carrying Code	claim
8	128	Selecting Appropriate Counter-Measures in an Intrusion Detection Framework	claim
9	112	Lenient Array Operations for Practical Secure Information Flow	claim
10	112	Secure Information Flow by Self-Composition	claim
11	112	Generic Insecurity of Cliques-Type Authenticated Group Key Agreement Protocols	claim
12	111	Symbolic Model Checking the Knowledge of the Dining Cryptographers	claim
13	108	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library	claim
14	92	A Formal Foundation for XrML	claim
15	84	Universally Composable Signature, Certification, and Authentication	claim
16	80	From Stack Inspection to Access Control: A Security Analysis for Libraries	claim
17	79	Owned Policies for Information Security	claim
18	77	Using Active Learning in Intrusion Detection	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers