1777 search results - page 67 / 356 » Programming Cryptographic Protocols |
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
100
Voted
TCC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Cryptographic protocols are often designed and analyzed under some trusted set-up assumptions, namely in settings where the participants have access to global information...
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...
110
click to vote
CSFW
2006
IEEE
15 years 7 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
101
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
In this paper, we present a way to think about the relative strength of security protocols using SoS, a lattice-theoretic representation of security strength. In particular, we di...