Author:
Barthe Gilles,Serpette Bernard P.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Abadi, M.: Secrecy by typing in security protocols. Journal of the ACM (to appear)
2. Abadi, M., Banerjee, A., Heintze, N., Riecke, J.: A core calculus of dependency. In: Proceedings of POPL 1999, pp. 147–160. ACM Press, New York (1999)
3. Abadi, M., Cardelli, L.: A theory of objects. Springer, Heidelberg (1996)
4. Bell, D., LaPadula, L.: Secure computer systems: Unified exposition and multics interpretation. Technical Report MTR-2997, MITRE Corporation (July 1975)
5. Bertino, E., Ferrari, E., Samarati, P.: Mandatory security and object-oriented systems: A multilevel entity model and its mapping onto a single-level object model. Theory and Practice of Object Systems 4(3), 183–204 (1998)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Information Flow Control-by-Construction for an Object-Oriented Language;Software Engineering and Formal Methods;2022
2. Securing Class Initialization;IFIP Advances in Information and Communication Technology;2010
3. Security types preserving compilation;Computer Languages, Systems & Structures;2007-07
4. Automata-Based Confidentiality Monitoring;Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues;2007
5. Security Types Preserving Compilation;Lecture Notes in Computer Science;2004