Publisher
Springer International Publishing
Reference10 articles.
1. Parnas, D.L.: Really rethinking ‘formal methods’. Computer 43, 28–34 (2010)
2. Schaffer, K.B., Voas, J.M.: Whatever happened to formal methods for security? Computer 49, 70 (2016)
3. Chong, S., et al.: Report on the NSF workshop on formal methods for security (2016)
4. Paulson, L.C.: The inductive approach to verifying cryptographic protocols. IOS J. Comput. Secur. 6, 85–128 (1998)
5. Information Security and Cryptography;G Bella,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献