CSFW 2002 - PDF Preprint Papers

CSFW 2002 IEEE Computer Security Foundations Workshop

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CSFW-2002 Paper

click to vote

CSFW
2002
IEEE

134views Security Privacy» more CSFW 2002»

Capturing Parallel Attacks within the Data Independence Framework

14 years 5 months ago

Download www.comlab.ox.ac.uk

We carry forward the work described in our previous papers [3, 14, 12] on the application of data independence to the model checking of cryptographic protocols using CSP [13] and ...

Philippa J. Broadfoot, A. W. Roscoe

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	134	Capturing Parallel Attacks within the Data Independence Framework	claim
2	130	A Formal Analysis of Some Properties of Kerberos 5 Using MSR	claim
3	116	Quantifying Information Flow	claim
4	102	A Privacy Policy Model for Enterprises	claim
5	101	Probabilistic Analysis of Anonymity	claim
6	98	Information Flow Security in Dynamic Contexts	claim
7	97	Secrecy in Multiagent Systems	claim
8	96	Security Protocol Design via Authentication Tests	claim
9	94	Types and Effects for Asymmetric Cryptographic Protocols	claim
10	94	Strand Spaces and Rank Functions: More than Distant Cousins	claim
11	86	Formal Specification of Intrusion Signatures and Detection Rules	claim
12	85	Polynomial Fairness and Liveness	claim
13	85	A Logic for Reasoning about Digital Rights	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers