期刊文献+

Effect:An Operational View Mechanism for Decentralized Information Flow Control

Effect:An Operational View Mechanism for Decentralized Information Flow Control
原文传递
导出
摘要 Flume, which implements decentralized information flow control (DIFC), allows a high security level process to "pre-create" secret files in a low security level directory. However, the pre-create mechanism makes some normal system calls unavailable, and moreover, it needs priori knowledge to create a large quantity of objects, which is difficult to estimate in practical operating systems. In this paper, we present an extended Flume file access control mechanism, named Effect, to substitute the mechanism of pre-create, which permits write operations (create, delete, and rename a file) on directories and creates a file access virtual layer that allocates operational views for each process with noninterference properties. In the end, we further present an analysis on the security of Effect. Our work makes it easier for multi-user to share confidential information in decentralized information flow control systems. Flume, which implements decentralized information flow control (DIFC), allows a high security level process to "pre-create" secret files in a low security level directory. However, the pre-create mechanism makes some normal system calls unavailable, and moreover, it needs priori knowledge to create a large quantity of objects, which is difficult to estimate in practical operating systems. In this paper, we present an extended Flume file access control mechanism, named Effect, to substitute the mechanism of pre-create, which permits write operations (create, delete, and rename a file) on directories and creates a file access virtual layer that allocates operational views for each process with noninterference properties. In the end, we further present an analysis on the security of Effect. Our work makes it easier for multi-user to share confidential information in decentralized information flow control systems.
出处 《Wuhan University Journal of Natural Sciences》 CAS 2012年第5期435-440,共6页 武汉大学学报(自然科学英文版)
基金 Supported by the National Natural Science Foundation of China(61003268,61103220,91118003,61173138,61170022) Hubei Provincial Natural Science Foundation(2010CDB08601) The Fundamental ResearchFunds for the Central Universities (3101038,274629)
关键词 decentralized information flow control precreate operational view file access virtual layer decentralized information flow control precreate operational view file access virtual layer
  • 相关文献

参考文献10

  • 1Myers A C, Liskov B. Protecting privacy using the decen- tralized label model [J]. ACM Transactions on Software En- gineering and Methodology, 2000, 9(4): 410-442.
  • 2Sabelfeld A, Myers A C. Language-based information-flow security [J]. IEEE Journal on Selected Areas in Communica- tions, 2006, 21(1): 5-19.
  • 3Simonet V, Rocquencourt I. Flow Caml in a nutshell [EB/OL]. [2012-03-12]. htqg://www.es.nott.ae.uk/-gmh/appsem- papers/ simonet.pdf.
  • 4Krohn M, Yip A, Brodsky M, et al. Information flow control for standard OS abstractions [C]//Proc 21st ACM sympo- sium on Operating systems principles, New York: ACM Press, 2007: 321-334.
  • 5Efstathopoulos P, Krohn M, Frey C, et al. Labels and event processes in the Asbestos operating system [C]//Proc 20th ACM symposium on Operating systems principles, New York: ACM Press, 2005: 17-30.
  • 6Zeldovich N, Boyd-Wickizer S, Kohler E, et al. Making information flow explicit in HiStar [C]// Proc 7th Sympo- sium on Operating Systems Design and Implementation, San Francisco: USENIX Association Berkeley, 2006: 263-278.
  • 7Roy I, Bond M, Porter D, et al. Laminar: practical fine- grained decentralized information flow control [C]//Proc of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, New York: ACM Press, 2009: 63-74.
  • 8Denning D E. A lattice model of secure information flow [J]. Communications oftheACM, 1976, 19(5): 236-243.
  • 9Biba K J. Integrity considerations for secure computer sys- tems [EB/OL]. [2012-03-10]. ht(p://oai.dtic.mil/oai/oai?verb= getR ecord&metadataPrefix=html& identifier=ADA 039324.
  • 10Bell D E, Padula L L. Secure computer system: Unified ex- position and Multics interpretation [EB/OL]. [2012-03-10]. http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix= html&identifier=ADA 023588.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部