Author:
Nakata Keiko,Sabelfeld Andrei
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Amtoft, T., Bandhakavi, S., Banerjee, A.: A logic for information flow in object-oriented programs. In: Proc. ACM Symp. on Principles of Programming Languages, pp. 91–102 (2006)
2. Avvenuti, M., Bernardeschi, C., De Francesco, N.: Java bytecode verification for secure information flow. SIGPLAN Notices 38(12), 20–27 (2003)
3. Abadi, M., Cardelli, L.: A Theory of Objects. Monographs in Computer Science. Springer, New York (1996)
4. Lecture Notes in Computer Science;A. Askarov,2008
5. Askarov, A., Sabelfeld, A.: Catch me if you can: Permissive yet secure error handling. In: Proc. ACM Workshop on Programming Languages and Analysis for Security (PLAS) (June 2009)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献