Funder
National Natural Science Foundation of China
Natural Science Foundation of Jiangxi Province
Major Discipline Academic and Technical Leaders Training Program of Jiangxi Province
Graduate Innovative Special Fund Projects of Jiangxi Province
Reference43 articles.
1. The applied Pi calculus: mobile values, new names, and secure communication;Abadi;J. ACM,2017
2. Fairness in Electronic Commerce;Asokan,1998
3. Component specification using event classes;Bickford,2009
4. Modeling and verifying security protocols with the applied pi calculus and ProVerif;Blanchet;Found. Trends Privacy Sec.,2016
5. Formal methods for web security;Bugliesi;J. Logical Algebraic Methods Programm.,2017