Author:
Bauer Matthew S.,Chadha Rohit,Prasad Sistla A.,Viswanathan Mahesh
Publisher
Springer International Publishing
Reference57 articles.
1. https://github.com/bauer-matthews/SPAN
2. http://www.apfloat.org/
3. https://github.com/bauer-matthews/SPAN/tree/master/src/test/resources/examples/indistinguishability
4. Abadi, M., Cortier, V.: Deciding knowledge in security protocols under equational theories. Theor. Comput. Sci. 367(1–2), 2–32 (2006)
5. Abadi, M., Fournet, C.: Mobile values, new names, and secure communication. In: ACM SIGPLAN Notices, vol. 36, pp. 104–115. ACM (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献