Publisher
Springer Berlin Heidelberg
Reference63 articles.
1. Lect Notes Comput Sci;M. Abadi,1997
2. Martín Abadi. Protection in programming-language translations. In Proceedings of the 25th International Colloquium on Automata, Languages and Programming, pages 868–883, July 1998. Also Digital Equipment Corporation Systems Research Center report No. 154, April 1998.
3. Martín Abadi. Two facets of authentication. In Proceedings of the 11th IEEE Computer Security Foundations Workshop, pages 27–32, 1998.
4. Martín Abadi, Andrew Birrell, Raymie Stata, and Edward Wobber. Secure web tunneling. Computer Networks and ISDN Systems, 30(1-7):531–539, April 1998. Proceedings of the 7th International World Wide Web Conference.
5. Martín Abadi, Cédric Fournet, and Georges Gonthier. Secure implementation of channel abstractions. In Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, pages 105–116, June 1998.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献