JCS 2006 - PDF Preprint Papers

JCS 2006

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JCS-2006 Paper

click to vote

JCS
2006

157views more JCS 2006»

Analysis of probabilistic contract signing

13 years 4 months ago

Download qav.comlab.ox.ac.uk

We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...

Gethin Norman, Vitaly Shmatikov

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	157	Analysis of probabilistic contract signing	claim
2	118	Enforcing Robust Declassification and Qualified Robustness	claim
3	118	Language based policy analysis in a SPKI Trust Management System	claim
4	116	GKMPAN: An Efficient Group Rekeying Scheme for Secure Multicast in Ad-Hoc Networks	claim
5	113	Blind Electronic Commerce	claim
6	91	A survey of algebraic properties used in cryptographic protocols	claim
7	81	Effective worm detection for various scan techniques	claim
8	74	On the impossibility of building secure Cliques-type authenticated group key agreement protocols	claim
9	66	Improved typings for probabilistic noninterference in a multi-threaded language	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers