10 search results - page 1 / 2 » ac 1997 |
AC
1997
Springer
13 years 9 months ago
1997
Springer
AC
1997
Springer
13 years 9 months ago
1997
Springer
AC
1997
Springer
13 years 9 months ago
1997
Springer
IJCAI
1997
13 years 6 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 9 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...