155 search results - page 4 / 31 » Transducer-based analysis of cryptographic protocols |
102
Voted
STACS
2004
Springer
15 years 9 months ago
2004
Springer
122
click to vote
IFIP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
136
Voted
ENTCS
2007
15 years 3 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...