Author:
Manzino Cecilia,Pardo Alberto
Publisher
Springer International Publishing
Reference20 articles.
1. Banerjee, A., Naumann, D.A.: Stack-based access control and secure information flow. J. Funct. Program. 15(2), 131–177 (2005)
2. Barthe, G., Rezk, T., Basu, A.: Security types preserving compilation. Comput. Lang. Syst. Struct. 33(2), 35–59 (2007)
3. Barthe, G., Rezk, T., Naumann, D.A.: Deriving an information flow checker and certifying compiler for java. In: IEEE Symposium on Security and Privacy, pp. 230–242. IEEE Computer Society (2006)
4. Bell, D.E., LaPadula, L.J.: Secure computer systems: Unified exposition and Multics interpretation. Technical Report MTR-2997, The MITRE Corp. (1975)
5. Chlipala, A.: A certified type-preserving compiler from lambda calculus to assembly language. SIGPLAN Not. 42(6), 54–65 (2007)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Compositional Framework for Scientific Model Augmentation;Electronic Proceedings in Theoretical Computer Science;2020-09-15
2. Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types;Electronic Notes in Theoretical Computer Science;2020-09
3. An Internalist Approach to Correct-by-Construction Compilers;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03
4. An efficient thread partition policy for secure functional language;Journal of Computer Virology and Hacking Techniques;2014-12-30