42 search results - page 9 / 9 » A Calculus for Cryptographic Protocols: The Spi Calculus |
EUROCRYPT
2008
Springer
13 years 7 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...
CORR
2004
Springer
13 years 5 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...