576 search results - page 77 / 116 » Modeling Adversaries in a Logic for Security Protocol Analys... |
CTRSA
2006
Springer
14 years 17 days ago
2006
Springer
Vaudenay recently proposed a message authentication protocol which is interactive and based on short authenticated strings (SAS). We study here SASbased non-interactive message aut...
ESAS
2007
Springer
14 years 3 months ago
2007
Springer
Introducing a new device to a network or to another device is one of the most security critical phases of communication in personal networks. There have been several different pro...
JUCS
2008
13 years 8 months ago
2008
Unknown Key-Share (UKS) resilience is a basic security attribute in authenticated key agreement protocols, whereby two entities A and B should not be able to be coerced into shari...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
Multisignatures allow n signers to produce a short joint signature on a single message. Multisignatures were achieved in the plain model with a non-interactive protocol in groups ...
ESORICS
2002
Springer
14 years 8 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...