555 search results - page 19 / 111 » From ABZ to Cryptography |
FM
2006
Springer
14 years 1 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
Considering that security education needs to train students to deal with security problems in real environments, we developed new media for teaching applied cryptography and networ...
CN
2007
13 years 9 months ago
2007
Ad hoc groups, such as peer-to-peer (P2P) systems and mobile ad hoc networks (MANETs) represent recent technological advancements. They support low-cost, scalable and fault-tolera...
IJNSEC
2007
13 years 9 months ago
2007
Recently, Aydos et al. proposed an ECC-based wireless authentication protocol. Because their protocol is based on ECC, the protocol has significant advantage including lower comp...
EUROCRYPT
1993
Springer
14 years 1 months ago
1993
Springer
This work is motivated by the observation that in DES-like ciphexs it is possible to choose the round functions in such a way that every non-trivial one-round characteristic has sm...