封富君
- 作品数：3 被引量：6H指数：2
- 供职机构：第二炮兵工程学院计算机与指挥自动化系更多>>
- 发文基金：国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于Petri网的强制访问控制模型及其安全分析
- 强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,...
- 蒋屹新林闯封富君尹浩
- 关键词：格模型PETRI网可达图强制访问控制模型
- 文献传递
- Linux与自由软件被引量：4
- 2003年
- Linux是一个非常优秀的自由软件的操作系统平台。随着Linux在中国的普及,越来越多的用户将会发现自由软件的优点,使Linux等自由软件在我国国民经济信息化建设中发挥应有的作用。本文简要概述了自由软件的概念,以及Linux操作系统作为自由软件相对于其他操作系统自身具有的优缺点,并对其发展前景给以展望。
- 封富君李俊山
- 关键词：LINUX网络操作系统计算机
- 基于Petri网的强制访问控制模型及其安全分析被引量：2
- 2005年
- 强制访问控制模型(MAC)是一种重要的安全模型.在多级安全的格模型和Bell-LaPadula安全模型的基础上,对MAC安全模型进行了形式化描述,并给出了与其等价的着色Petri网模型.在Petri网状态可达图的基础上,对MAC模型的有关安全属性,如主体访问客体的时序关系,主体访问的可达性,因主体的动态安全级访问而存在的安全隐患以及因主体对客体的间接访问而导致敏感信息的可推测性等进行了较为详细地分析.通过对一个安全模型的范例分析,结果表明:基于Petri网的安全模型的分析方法可以充分利用现有的可达图的分析方法来对系统安全模型的有关性质进行分析和验证,能够在安全模型的设计和实现阶段有效地改善系统的总体安全策略.
- 蒋屹新林闯封富君封富君
- 关键词：PETRI网可达性强制访问控制模型
