155 search results - page 4 / 31 » Transducer-based analysis of cryptographic protocols |
127
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 ...
141
click to vote
ENTCS
2007
15 years 4 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,...