Modeling and Verification of Privacy Enhancing Protocols

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-10373-5_7 ◽

2009 ◽

pp. 127-146 ◽

Cited By ~ 3

Author(s):

Suriadi Suriadi ◽

Chun Ouyang ◽

Jason Smith ◽

Ernest Foo

Download Full-text