References of "Dong, Naipeng"
     in
Bookmark and Share    
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: 103 (1 UL)
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 & Security (2017), 65

Detailed reference viewed: 130 (1 UL)