1777 search results - page 11 / 356 » Programming Cryptographic Protocols |
POPL
2000
ACM
14 years 28 days 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...
CADE
2005
Springer
14 years 9 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
13 years 8 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,...
IFIP
2009
Springer
14 years 1 months ago
2009
Springer
SIEMENS
1993
14 years 20 days ago
1993
