张俊
- 作品数：5 被引量：35H指数：4
- 供职机构：中国人民解放军海军工程大学电气与信息工程学院更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术自然科学总论更多>>
- 基于MLS策略的机密性和完整性动态统一模型被引量：15
- 2008年
- BLP模型是最经典的机密性模型,Biba模型则是最经典的完整性模型。绝大多数主客体机密性和完整性具有一致性,BLP模型和Biba模型就产生矛盾。提出了机密性和完整性的动态统一模型,给出了一系列安全规则,引入访问历史标记,动态调整主体的安全标记,将BLP和Biba真正结合起来,实现了机密性和完整性的统一,使系统具有较好的可用性。并给出了实例对模型进行了说明。
- 张俊周正李建刘毅
- 关键词：BLPBIBA
- 一种主体行为可信度量模型被引量：8
- 2008年
- 提出一种针对计算机信息系统的主体行为进行可信度量的模型,给出模型的一个实现框架。该模型可以对主体的行为进行可信度量,根据主体行为的可信度使不合法程序和代码无法执行、合法程序和代码无法执行未授权访问,使合法程序和代码的可疑行为受到严格控制,并能根据不同阈值来保证安全性和实用性的合理折中。
- 周正李建张俊
- 可信移动平台软件安全载入策略模型研究被引量：7
- 2009年
- 针对手机卧底等木马软件通过软件下载的途径安装到用户手机,使手机用户的隐私受到了巨大的威胁的实际。通过分析目前软件下载方案中存在的安全问题及产生的根源,提出移动终端软件载入的控制策略,建立了策略模型,采用形式化的描述与分析,并从可信移动平台技术的角度,设计软件载入策略的实现方案,对模型和方案进行安全性分析,结果证明,该方案能有效地防范手机卧底等恶意软件的侵入。
- 李建刘吉强周正沈昌祥张俊
- 关键词：可信计算
- 一种新的计算机抗攻击自身免疫模型被引量：1
- 2007年
- 提出了一种新的计算机抗攻击自身免疫模型,形式化地阐述了模型如何使得不合法的程序和代码不能够执行,合法的程序和代码不能够执行未授权访问;合法的程序和代码的可疑行为受到严格的控制但是可以根据不同的阈值来保证实用性。这种模型不需要计算和识别计算机攻击的具体特征,而通过直接消除攻击能够实施破坏和传播的前提条件,使得计算机系统对攻击具备自身免疫能力。
- 周正张俊沈昌祥
- 舰船电站网络控制系统设计被引量：4
- 2006年
- 将舰船设备管理和舰船设备运行参数通过计算机网络有机地结合起来,实现舰船管控一体化,对提高舰船设备管理效率和水平、提高舰船设备运行的安全性有重要的意义。通过对总线方式下的分布式控制系统结构、底层数据采集、高端管理软件等方面的研究,提出一种基于网络环境的舰船电站监控系统设计方案,将网络控制的概念引入到舰船设备管理控制中,具有一定的创新性。
- 张俊宋立忠
- 关键词：网络控制系统现场总线集散型控制系统
