Verifying the SET Protocol: Overview.

Lawrence C. Paulson

Published in: FASec (2002)

Keyphrases

databases
information retrieval
artificial intelligence
machine learning
knowledge base
database systems
small number
lightweight
formal analysis