Modeling and Verification of Privacy Enhancing Protocols.

Suriadi Suriadi Chun Ouyang Jason Smith Ernest Foo

Published in: ICFEM (2009)

Keyphrases

privacy enhancing
model checking
modeling method
cryptographic protocols
database
machine learning
decision trees
personal information
signature verification
colored petri nets
protocol specification