Search Sciweavers | Sciweavers

155 search results - page 3 / 31

» Cryptographic Protocol Analysis of AN.ON

click to vote

ENTCS
2007

105views more ENTCS 2007»

A Probabilistic Scheduler for the Analysis of Cryptographic Protocols

13 years 5 months ago

Download www.polymtl.ca

When modelling cryto-protocols by means of process calculi which express both nondeterministic and probabilistic behavior, it is customary to view the scheduler as an intruder. It...

Srecko Brlek, Sardaouna Hamadou, John Mullins

claim paper

Read More »

click to vote

CSFW
2000
IEEE

134views Security Privacy» more CSFW 2000»

C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis

13 years 10 months ago

Download members.ozemail.com.au

In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...

Anthony H. Dekker

claim paper

Read More »

click to vote

IEEEARES
2008
IEEE

120views Security Privacy» more IEEEARES 2008»

Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)

14 years 5 days ago