Approximating Imperfect Cryptography in a Formal Model.

Angelo Troina Alessandro Aldini Roberto Gorrieri

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

formal model
cellular automata
formal models
website
predicate calculus
low cost
information security
security properties
security patterns
real time
information retrieval