155 search results - page 4 / 31 » Transducer-based analysis of cryptographic protocols |
IEEEARES
2008
IEEE
14 years 5 days ago
2008
IEEE
STACS
2004
Springer
13 years 11 months ago
2004
Springer
IFIP
2009
Springer
14 years 9 days 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 ...
ENTCS
2007
13 years 5 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,...