1342 search results - page 34 / 269 » Attacks are Protocols Too |
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
102
click to vote
IEEEARES
2008
IEEE
15 years 6 months ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
IACR
2011
13 years 11 months ago
2011
Abstract. In this paper, we analyze the security of AZUMI protocol which is compliant with the EPCClass-1 Generation-2 standard and recently has been proposed by Peris et al. This ...
ISW
2010
Springer
14 years 9 months ago
2010
Springer
Recently a convex hull based human identification protocol was proposed by Sobrado and Birget, whose steps can be performed by humans without additional aid. The main part of the p...
CRYPTO
2003
Springer
15 years 5 months ago
2003
Springer
In this paper we present a very practical ciphertext-only cryptanalysis of GSM (Global System for Mobile communications) encrypted communication, and various active attacks on the ...