Future-proof encryption.

Published in: Commun. ACM (2013)

Keyphrases

long term
theorem proving
database
artificial intelligence
e learning
web services
search algorithm
expert systems
secret key
key management
logical rules