10 search results - page 1 / 2 » ac 1997 |
AC
1997
Springer
13 years 10 months ago
1997
Springer
AC
1997
Springer
13 years 10 months ago
1997
Springer
AC
1997
Springer
13 years 10 months ago
1997
Springer
IJCAI
1997
13 years 7 months ago
1997
Unfailing completion is a commonly used technique for equational reasoning. For equational problems with associative and commutative functions, unfailing completion often generate...
AC
1997
Springer
13 years 10 months ago
1997
Springer
This paper describes the state of the art for cryptographic primitives that are used for protecting the authenticity of information: cryptographic hash functions and digital signat...