Author:
Imanimehr Fatemeh,Fallah Mehran S.
Subject
Computer Networks and Communications,Software
Reference47 articles.
1. Enforcing non-safety security policies with program monitors;Ligatti,2005
2. Corrective enforcement: a new paradigm of security policy enforcement by monitors;Khoury;ACM Trans. Inform. Syst. Secur.,2012
3. Hyperproperties;Clarkson;J. Comput. Secur.,2010
4. How powerful are run-time monitors with static information?;Imanimehr;Comput. J.,2016
5. Termination-insensitive noninterference leaks more than just a bit;Askarov,2008
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献