1777 search results - page 11 / 356 » Programming Cryptographic Protocols |
POPL
2000
ACM
15 years 4 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
103
Voted
CADE
2005
Springer
15 years 12 months ago
2005
Springer
We prove that, if the initial knowledge of the intruder is given by a deterministic bottom-up tree automaton, then the insecurity problem for cryptographic protocols with atomic ke...
ENTCS
2007
14 years 11 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,...
71
Voted
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
