215 search results - page 19 / 43 » Analyzing Security Protocols Using Time-Bounded Task-PIOAs |
108
Voted
FOSAD
2000
Springer
15 years 5 months ago
2000
Springer
This material was presented in a series of lectures at fosad, a summer school on Foundations of Security Analysis and Design, at the University of Bologna Center at Bertinoro in Se...
102
Voted
IJNSEC
2006
15 years 1 months ago
2006
This paper presents an efficient password-based authenticated encrypted group key agreement protocol immune to dictionary attack under the computation Diffie-Hellman (CDH) assumpt...
114
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
91
Voted
CCS
2007
ACM
15 years 8 months ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
118
click to vote
ACSAC
2003
IEEE
15 years 5 months ago
2003
IEEE
When a receiver of a ciphertext message can not decrypt the message due to the fact that he has lost his private-key, the private-key of the receiver and session-key of the messag...