References of "Dong, Naipeng"
Bookmark and Share    
Full Text
Peer Reviewed
See detailFormal modelling and analysis of receipt-free auction protocols in applied pi
Dong, Naipeng; Jonker, Hugo; Pang, Jun UL

in Computers and Security (2017), 65

Detailed reference viewed: 176 (2 UL)
Full Text
Peer Reviewed
See detailA verification framework for stateful security protocols
Li, Li; Dong, Naipeng; Pang, Jun UL et al

in Proceedings of the 19th International Conference on Formal Engineering Methods (2017)

Detailed reference viewed: 142 (1 UL)