631 search results - page 64 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
WSS
2001
15 years 3 months ago
2001
We present a formal specification of the PING protocol, and use three concepts of convergence theory, namely closure, convergence, and protection, to show that this protocol is se...
ACL
1997
15 years 3 months ago
1997
Most algorithms dedicated to the generation of referential descriptions widely suffer from a fundamental problem: they make too strong assumptions about adjacent processing compon...
97
Voted
BC
2006
15 years 1 months ago
2006
During locomotion sensory information from cutaneous and muscle receptors is continuously integrated with the locomotor central pattern generator (CPG) to generate an appropriate m...
130
click to vote
CRYPTOLOGIA
2006
15 years 1 months ago
2006
In this paper, we describe Whirlpool, which is a block-cipher-based secure hash function. Whirlpool produces a hash code of 512 bits for an input message of maximum length less tha...
120
click to vote
CORR
2007
Springer
15 years 1 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...