Author:
Barthe Gilles,Beringer Lennart,Crégut Pierre,Grégoire Benjamin,Hofmann Martin,Müller Peter,Poll Erik,Puebla Germán,Stark Ian,Vétillard Eric
Publisher
Springer Berlin Heidelberg
Reference43 articles.
1. Lecture Notes in Computer Science;E. Albert,2004
2. Appel, A.W.: Foundational proof-carrying code. In: Halpern, J. (ed.) Proceedings of the Sixteenth Annual IEEE Symp. on Logic in Computer Science, LICS 2001 (Invited Talk), p. 247. IEEE Computer Society Press, Los Alamitos (2001)
3. Lecture Notes in Computer Science;D. Aspinall,2004
4. Lecture Notes in Computer Science;D. Aspinall,2005
5. Banerjee, A., Naumann, D.: Stack-based access control for secure information flow. Journal of Functional Programming (Special Issue on Language-Based Security) 15, 131–177 (2005)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献