691 search results - page 105 / 139 » A New Security Model for Authenticated Key Agreement |
108
click to vote
ESORICS
2010
Springer
15 years 2 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...
136
click to vote
JOC
2011
14 years 8 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
108
click to vote
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
115
click to vote
PET
2010
Springer
15 years 5 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...
141
click to vote
WECWIS
2003
IEEE
15 years 6 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...