Publisher
Springer International Publishing
Reference18 articles.
1. Anlauff, M., Pavlovic, D., Waldinger, R., Westfold, S.: Proving authentication properties in the protocol derivation assistant. In: Degano, P., Küsters, R., Vigano, L. (eds.) Proceedings of FCS-ARSPA 2006. ACM (2006)
2. Bainbridge, E.S., Freyd, P.J., Scott, P.J., Scedrov, A.: Functorial polymorphism. Theor. Comput. Sci. 70(1), 35–64 (1990). orrigendum in 71(3), 431
3. Lecture Notes in Computer Science;R Bird,1998
4. Lecture Notes in Computer Science;A Carboni,1988
5. Chadha, R., Kanovich, M.I., Scedrov, A.: Inductive methods and contract-signing protocols. In: Reiter, M.K., Samarati, P. (eds.) CCS 2001, Proceedings of the 8th ACM Conference on Computer and Communications Security, Philadelphia, Pennsylvania, USA, 6–8 November 2001, pp. 176–185. ACM (2001)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献