28 search results - page 1 / 6 » Specifying and Modelling Secure Channels in Strand Spaces |
IFIP
2009
Springer
13 years 11 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
CSFW
2002
IEEE
13 years 10 months 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...
FOSAD
2000
Springer
13 years 8 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
SP
1998
IEEE
13 years 9 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
CCS
2001
ACM
13 years 9 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...