基于访问行为的终端安全模型

基于访问行为的终端安全模型 Terminal Security Model Based on Access Behavior 李勇 LI Yong1 1 2 first-author 王飞 WANG Fei3 3 那宝玉 NA Baoyu4 4 盖新貌 GAI Xinmao2 2 信息工程大学电子技术学院 信息工程大学电子技术学院 School of Electronics Technology,Information Engineering University School of Electronics Technology,Information Engineering University 北京工业大学计算机学院 北京工业大学计算机学院 Institute of Computer,Beijing University of Technology Institute of Computer,Beijing University of Technology 解放军装备指挥技术学院 解放军装备指挥技术学院 PLA Institute of Equipment Command Technology PLA Institute of Equipment Command Technology 解放军总后勤部油料研究所 解放军总后勤部油料研究所 PLA Research Institute of Petro-Oil and Lubricants PLA Research Institute of Petro-Oil and Lubricants 提出了基于访问行为的终端安全模型,将终端访问行为抽象为"主体"、"客体"、"操作"和"安全策略"4个要素,用形式化的方法讨论了4要素与访问行为可信的关系,在访问行为可信的基础上给出了终端安全判定定理,并进一步讨论了模型实施过程中的关键问题. The terminal security model based on the no-interference is fixed.Subject object option and security policy is abstracted as the key elements of terminal access behavior.The relation of the key elements and the access behavior is discussed through formal method,and the terminal security model based on access behavior is put forward.Further discussion of the key issues in the implementation process of the model has been done at last. 终端安全 访问行为 无干扰 terminal security access behavior noninterference 10.14188/j.1671-8836.2010.02.023 TP309 国家重点基础研究发展计划（973）项目（2007CB311100） 2010-02-01 2021-04-01 2 56