12 search results - page 3 / 3 » Privacy, Abstract Encryption and Protocols: An ASM Model - P... |
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
The abstraction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently si...
SP
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...