Proof Techniques for Cryptographic Processes.

Michele Boreale Rocco De Nicola Rosario Pugliese

Published in: LICS (1999)

Keyphrases

databases
smart card
stochastic processes
artificial neural networks
computational models
hash functions
interactive theorem proving