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