168 search results - page 2 / 34 » A Model of Computation for the NRL Protocol Analyzer |
ICALP
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
ESORICS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
PERCOM
2004
ACM
14 years 7 months ago
2004
ACM
We explore the challenges and research directions in building models, protocols and architectures to support security in pervasive computing environments. We argue that to be succ...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
Web applications are generally less interactive than desktop applications. Due to the simple request-response model between web browsers and web servers, users usually experience ...
CONCUR
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...