Enforced privacy: from practice to theoryDong, Naipeng ![]() Doctoral thesis (2013) Detailed reference viewed: 134 (2 UL) Enforcing Privacy in the Presence of Others: Notions, Formalisations and RelationsDong, Naipeng ; Jonker, Hugo ; Pang, Jun ![]() in Proceedings of the 18th European Symposium on Research in Computer Security (2013) Detailed reference viewed: 163 (2 UL) Challenges in eHealth: from enabling to enforcing privacyDong, Naipeng ; Jonker, Hugo ; Pang, Jun ![]() in Proc. 1st Symposium on Foundations of Health Information Engineering and Systems (2012) Detailed reference viewed: 154 (2 UL) Formal analysis of privacy in an eHealth protocolDong, Naipeng ; Jonker, Hugo ; Pang, Jun ![]() in Proc. 17th European Symposium on Research in Computer Security (2012) Detailed reference viewed: 147 (6 UL) A foul adversary: bribery, extortion and blackmail (Abstract)Dong, Naipeng ; Scientific Conference (2011, June 14) Detailed reference viewed: 85 (0 UL) Analysis of a receipt-free auction protocol in the applied pi calculusDong, Naipeng ; Jonker, Hugo ; Pang, Jun ![]() in Proc. 7th Workshop on Formal Aspects in Security and Trust (2011) Detailed reference viewed: 109 (3 UL) |
||