576 search results - page 84 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
ACISP
2009
Springer
14 years 3 months ago
2009
Springer
In the setting of identity-based encryption with multiple trusted authorities, TA anonymity formally models the inability of an adversary to distinguish two ciphertexts correspondi...
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—A key agreement protocol is a protocol whereby two or more communicating parties can agree on a key or exchange information over an open communication network in such a way that...
CSFW
2012
IEEE
11 years 11 months ago
2012
IEEE
—Social sign-on and social sharing are becoming an ever more popular feature of web applications. This success is largely due to the APIs and support offered by prominent social ...
CSFW
2008
IEEE
14 years 3 months ago
2008
IEEE
Composition theorems in simulation-based approaches allow to build complex protocols from sub-protocols in a modular way. However, as first pointed out and studied by Canetti and ...
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...