5488 search results - page 732 / 1098 » On the Secure Implementation of Security Protocols |
171
click to vote
ICALP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
179
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
The most studied property, secrecy, is not always sufficient to prove the security of a protocol. Other properties such as anonymity, privacy or opacity could be useful. Here, we u...
239
click to vote
TCC
2010
Springer
15 years 11 months ago
2010
Springer
We consider message authentication codes for streams where the key becomes known only at the end of the stream. This usually happens in key-exchange protocols like SSL and TLS wher...
164
click to vote
CTRSA
2006
Springer
15 years 10 months ago
2006
Springer
A series of recent papers have demonstrated collision attacks on popularly used hash functions, including the widely deployed MD5 and SHA-1 algorithm. To assess this threat, the na...
143
click to vote
IJCAI
2007
15 years 8 months ago
2007
We propose a novel approach to self-regenerating systems which require continuous operation, such as security surveillance. For that aim we introduce HADES, a self-regenerating co...