1294 search results - page 222 / 259 » Securing Against Insider Attacks |
TYPES
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Most approaches to the formal analysis of cryptography protocols make the perfect cryptographic assumption, which entails for example that there is no way to obtain knowl...
BPM
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the A...
CRYPTO
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In this paper, we reconsider the notion of plaintext awareness. We present a new model for plaintext-aware encryption that is both natural and useful. We achieve plaintex...
NDSS
2000
IEEE
15 years 3 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
101
click to vote
CARDIS
1998
Springer
15 years 3 months ago
1998
Springer
We proposed a new block cipher, Serpent, as a candidate for the Advanced Encryption Standard. This algorithm uses a new structure that simultaneously allows a more rapid avalanche,...