The composability of non-interference [system security]
Author:
Zakinthinos A.,Lee E.S.
Publisher
IEEE Comput. Soc. Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Compositional Information Flow Monitoring for Reactive Programs;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06
2. Information flow security, abstraction and composition;IET Information Security;2009-03-01
3. An effective model for composition of secure systems;Journal of Systems and Software;1998-11
4. Possibilistic definitions of security-an assembly kit;Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13