A new formal model for privilege control with supporting POSIX capability mechanism
被引量:3
A new formal model for privilege control with supporting POSIX capability mechanism
基金
supported by the National Key Basic Research Program of China(Grant No.G1999035802)
the National Natural Science Foundation of China(Grant No.60083007)
参考文献25
-
1[1]Curry, D. A., Improving the security of your UNIX system, Technology report ITSTD-721-FR-90-21, SRI International, April 1990.
-
2[2]IBM server group, Addressing secrity issues in Linux, A Linux White Paper, 2000.
-
3[3]Data General, Managing security on DG/UX system, manual 093-701138-04, Data General Corporation, Westboro, MA01580, Nov. 1996.
-
4[4]Cowan, C., Beattie, S., Kroach-Hartman, G. et al., SubDomain: parsimonious server security, 14th USENIX Systems Administration Conference (LISA 2000), New Orleans, LA, December 2000.
-
5[5]Chandramouli, R., A framework for multiple authorization types in a healthcare application system, in Proc.17th Annual Computer Security Applications Conference, December 2001,137-148.
-
6[6]Hoffman, J., Implementing RBAC on a type enforced system, In Proc. 13th Annual Computer Security Applications Conference, December 1997, 158-163.
-
7[7]Sandhu, R.S., Coyne, E. J., Feinstein, H. L. et al., Role based access control models, IEEE Computer, February 1996, 29(2): 38-47.
-
8[8]Ferraiolo, D. F., Sandhu, R., Gavrila, S. et al., Proposed NIST standard for role-based access control, ACM Transactions on Information and System Security, August 2001, 4(3): 224-274.
-
9[9]Dalton, C., Choo, T. H., An operating system approach to securing e-services, Communication of the ACM,2001, 44(2): 58-66.
-
10[10]Baldwin, R. W., Naming and grouping privileges to simplify security management in large database, in Proceedings of IEEE Symposium on Security and Privacy, 1990, 116-132.
同被引文献4
-
1卿斯汉,朱继锋.安胜安全操作系统的隐蔽通道分析[J].软件学报,2004,15(9):1385-1392. 被引量:19
-
2季庆光,卿斯汉,贺也平.一个改进的可动态调节的机密性策略模型[J].软件学报,2004,15(10):1547-1557. 被引量:33
-
3卿斯汉.高安全等级安全操作系统的隐蔽通道分析[J].软件学报,2004,15(12):1837-1849. 被引量:31
-
4JI Qingguang,QING Sihan,HE Yeping.A formal model for integrity protection based on DTE technique[J].Science in China(Series F),2006,49(5):545-565. 被引量:4
引证文献3
-
1卿斯汉,沈昌祥.高等级安全操作系统的设计[J].中国科学(E辑),2007,37(2):238-253. 被引量:16
-
2QING SiHan1,2 & SHEN ChangXiang3 1 Institute of Software, Chinese Academy of Sciences, Beijing 100080, China,2 School of Software and Microelectronics, Peking University, Beijing 102600, China,3 Institute of Computing Technology, Navy, Beijing 100841, China.Design of secure operating systems with high security levels[J].Science in China(Series F),2007,50(3):399-418. 被引量:5
-
3蔡嘉勇,卿斯汉,刘伟.安全策略模型聚合性评估方法[J].软件学报,2009,20(7):1953-1966. 被引量:4
二级引证文献25
-
1Chang-da WANG,Shi-guang JU.Integrated criteria for covert channel auditing[J].Journal of Zhejiang University-Science A(Applied Physics & Engineering),2008,9(6):737-743.
-
2刘毅,陈泽茂,沈昌祥.恶意代码的机理与模型研究[J].计算机工程与设计,2008,29(22):5709-5712. 被引量:5
-
3王昌达,鞠时光,周从华,宋香梅.一种隐通道威胁审计的度量方法[J].计算机学报,2009,32(4):751-762. 被引量:12
-
4韩伟力,高珺,陈辰.面向客户端上下文隐私保护的可信分散式访问控制[J].计算机辅助设计与图形学学报,2009,21(11):1667-1675. 被引量:1
-
5陈喆,刘文清,王亚弟,梁员宁.基于信息流分析的隐蔽通道分类与标志[J].计算机应用研究,2010,27(7):2631-2635. 被引量:3
-
6龚雷,赵勇,韩培胜,李瑜.典型应用系统安全保护框架研究[J].计算机工程与应用,2010,46(28):90-93. 被引量:6
-
7Chen Yasha,Hu Jun,Sun Yu,Gai Xinmao.A Privilege Separation Method for Security Commercial Transactions[J].China Communications,2010,7(6):94-99. 被引量:1
-
8吴海玲,周从华,鞠时光,王基.前向可修正属性算术验证的研究[J].计算机科学,2011,38(3):97-102.
-
9曾浩,牟亚莉,徐妍.基于可信操作环境的DBMS可信研究[J].舰船电子工程,2011,31(6):135-138. 被引量:1
-
10龚雷,赵勇.应用安全支撑平台体系结构与实现机制研究[J].计算机工程与设计,2011,32(7):2217-2220. 被引量:2
-
1Eric B. Rux,黄思维(译者).评测:组策略管理工具[J].Windows IT Pro Magazine(国际中文版),2009(9):45-48.
-
2Xu Yu,Wu Guoqing,Liu Xiang,Chen Xinmeng.A FORMAL MODEL FOR ANALYZING THE SCR-STYLE REQUIREMENTS SPECIFICATIONS[J].Wuhan University Journal of Natural Sciences,1998,3(2):142-142.
-
3沈浩.电力营销系统数据信息安全技术分析[J].计算机光盘软件与应用,2010(16):65-66. 被引量:1
-
4添.eToken/eSafe/Privilege SCP[J].软件世界,2004(5):96-96.
-
5叶克江.Delphi中简单权限设置方法[J].现代企业教育,2008(20):229-229.
-
6叶克江.Delphi简易权限设置方法[J].电脑编程技巧与维护,2009(4):16-17.
-
7季庆光,卿斯汉,贺也平.支持POSIX权能机制的一个新的特权控制的形式模型[J].中国科学(E辑),2004,34(6):683-700. 被引量:5
-
8张磊,陈兴蜀,刘亮,任益.Virt-RSBAC:一种防御云计算内部威胁的框架[J].四川大学学报(工程科学版),2014,46(6):114-121. 被引量:3
-
9GU Xiwu LU Zhengding.A Formal Model for BPEL4WS Description of Web Service Composition[J].Wuhan University Journal of Natural Sciences,2006,11(5):1311-1319. 被引量:2
-
10蒋平,陈浩.浅谈如何守紧电力营销信息管理系统安全门户[J].科技信息,2011(17):94-94. 被引量:2