1777 search results - page 98 / 356 » Programming Cryptographic Protocols |
USENIX
1994
13 years 11 months ago
1994
SNP provides a high-level abstraction for secure end-toend network communications. It supports both stream and datagram semantics with security guarantees (e.g., data originauthen...
IACR
2011
12 years 9 months ago
2011
Program Obfuscation is the problem of transforming a program into one which is functionally equivalent, yet whose inner workings are completely unintelligible to an adversary. Des...
IFIP
2009
Springer
14 years 4 months ago
2009
Springer
We adapt the Strand Spaces model to reason abstractly about layered security protocols, where an Application Layer protocol ed on top of a secure transport protocol. The model abst...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
FSTTCS
2007
Springer
14 years 4 months ago
2007
Springer
Security protocols are small programs that are executed in hostile environments. Many results and tools have been developed to formally analyze the security of a protocol. However ...