Publisher
Springer Berlin Heidelberg
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods for Socio-technical Security;Lecture Notes in Computer Science;2022
2. Formal Verification of Multi-party Fair Exchange E-Commerce Protocols;Secure Multi-Party E-Commerce Protocols;2022
3. You Already Used Formal Methods but Did Not Know It;Formal Methods Teaching;2019
4. Refining security protocols;Journal of Computer Security;2017-11-30
5. Threat Modelling Service Security as a Security Ceremony;2016 11th International Conference on Availability, Reliability and Security (ARES);2016-08