Unifying Confidentiality and Integrity in Downgrading Policies
暂无分享,去创建一个
[1] Andrew C. Myers,et al. Protecting privacy using the decentralized label model , 2000, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
[2] Andrew C. Myers,et al. JFlow: practical mostly-static information flow control , 1999, POPL '99.
[3] Charles P. Pfleeger,et al. Security in computing , 1988 .
[4] J. Meseguer,et al. Security Policies and Security Models , 1982, 1982 IEEE Symposium on Security and Privacy.
[5] David A. Wagner,et al. This copyright notice must be included in the reproduced paper. USENIX acknowledges all trademarks herein. Detecting Format String Vulnerabilities with Type Qualifiers , 2001 .
[6] Sylvain Conchon,et al. Information flow inference for free , 2000, ICFP '00.
[7] K. J. Bma. Integrity considerations for secure computer systems , 1977 .
[8] François Pottier,et al. Information flow inference for ML , 2002, POPL '02.
[9] John McLean,et al. Security models and information flow , 1990, Proceedings. 1990 IEEE Computer Society Symposium on Research in Security and Privacy.
[10] Peng Li Yun Mao Steve Zdancewic. Information Integrity Policies , 2003 .
[11] Andrew C. Myers,et al. Protecting privacy using the decentralized label model , 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
[12] Peng Li,et al. Downgrading policies and relaxed noninterference , 2005, POPL '05.
[13] Andrew C. Myers,et al. Language-based information-flow security , 2003, IEEE J. Sel. Areas Commun..
[14] Vincent Simonet. Flow Caml in a Nutshell , 2003 .