C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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