5488 search results - page 855 / 1098 » On the Secure Implementation of Security Protocols |
154
click to vote
ISW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protoco...
177
click to vote
ACISP
2001
Springer
15 years 11 months ago
2001
Springer
An English auction is the most familiar type of auctions. Generally, an electronic auction has mainly two entities, the registration manager(RM) who treats the registration of bidd...
187
click to vote
CCS
1999
ACM
15 years 10 months ago
1999
ACM
In this paper we present a new approach for network intrusion detection based on concise speciļ¬cations that characterize normal and abnormal network packet sequences. Our speciļ...
182
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether o...
172
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
It is well known that unconditionally secure bit commitment is impossible even in the quantum world. In this paper a weak variant of quantum bit commitment, introduced independent...