C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Privacy Compliance Verification in Cryptographic Protocols.
Suriadi Suriadi
Chun Ouyang
Ernest Foo
Published in:
Trans. Petri Nets Other Model. Concurr. (2012)
Keyphrases
</>
cryptographic protocols
security properties
private information retrieval
standard model
security protocols
authentication protocol
formal verification
privacy preserving
encryption decryption
access control
cost effective
end to end