947 search results - page 119 / 190 » Provable Implementations of Security Protocols |
TCC
2010
Springer
14 years 6 months ago
2010
Springer
The strongest standard security notion for digital signature schemes is unforgeability under chosen message attacks. In practice, however, this notion can be insuļ¬cient due to ā...
ESORICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. We deļ¬ne a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
GCC
2003
Springer
14 years 3 months ago
2003
Springer
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
EUROCRYPT
2008
Springer
13 years 11 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
POPL
2001
ACM
14 years 10 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...