3 search results - page 1 / 1 » Analysing the Woo-Lam Protocol Using CSP and Rank Functions |
ACJ
2006
13 years 7 months ago
2006
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
A number of key establishment protocols claim the property of forward secrecy, where the compromise of a longterm key does not result in the compromise of previously computed sess...
CSFW
2002
IEEE
14 years 22 days ago
2002
IEEE
The strand spaces model and the rank functions model have both been used successfully to analyse and verify security protocols running on unbounded networks. At first sight, thes...