Author:
Whitehead Nathan,Abadi Martín
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Appel, A.W.: Foundational proof-carrying code. In: Proceedings of the 16th Annual Symposium on Logic in Computer Science, June 2001, pp. 247–258 (2001)
2. Appel, A.W., Felten, E.W.: Proof-carrying authentication. In: Proceedings of the 5th ACM Conference on Computer and Communications Security, pp. 52–62 (November 1999)
3. Appel, A.W., Felty, A.P.: A semantic model of types and machine instructions for proof-carrying code. In: Proceedings of the 27th Annual ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 243–253 (January 2000)
4. Bauer, L., Schneider, M.A., Felten, E.W.: A general and flexible accesscontrol system for the Web. In: Proceedings of the 11th USENIX Security Symposium 2002, pp. 93–108 (2002)
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development. Springer, Heidelberg (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献