摘要：认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩展描述协议安全属性,并在攻击场景分类的基础上设计了认证攻击算法.通过攻击算法找到了Woo-lam协议和μTESLA协议的认证性漏洞,该方法具有可行性、覆盖率高等特点.

摘要：目的 产品设计为形态学的外在表现,安全为形态学的基本属性.深入剖析形态的安全属性,构建面向安全的产品创新设计体系,在满足用户需求的同时,生成产品的创新设计解.方法 从历史的角度研究形态学的安全属性的源流与表现,分析安全属性的物质与精神层面,从结构和色彩两个维度剖析设计形态的物质需求与精神需求的耦合统一,提出综合考虑安全属性的设计形态创新方法,以面向安全的创新设计,指导设计实践的发展方向;并以视觉假体创新设计为研究案例,诠释基于安全的设计形态创新设计.结论 提出的方法与设计实践,以安全为主导思想,通过形态的具体表现,满足物质与精神的双重需求,关注以人为本的可持续性发展,有效指导了面向安全的创新设计.

摘要：IPSec的复杂性使得对其安全性的理解比较容易产生偏差,从而直接影响到其产品实现的安全功能和性能。在充分研究IPSec标准协议的基础上,着重从传输安全和密钥管理安全两个方面对IPSec所包含的安全属性及其技术途径进行了分析,并就其协议簇所期望达到的安全性能进行了探讨,同时也指出了其中的一些不足。

摘要：燃气是城市不可或缺的基础性能源,具有清洁高效、使用方便等特点,其应用领域和规模不断扩大。据统计,2021年我国城镇燃气管网的里程已达105万km。燃气易燃易爆的物质特性使得其安全属性一直备受关注。切实解决影响燃气安全突出问题,防范和遏制类似事故发生,是城市燃气安全的重中之重。

摘要：文章提出了一种支持应用类安全的操作系统安全结构框架。这个框架利用操作系统提供的安全服务为各种应用类安全策略的实施提供了安全保证。

摘要：分析多级涉密网安全接入的需求,提出了基于可信网络连接的多级涉密网安全接入模型。模型通过引入安全属性检查规则,检查接入设备和设备中客体的安全属性,以确保其接入不会造成敏感信息的泄露;通过引入完整性度量规则,实现多级涉密网与接入设备双向完整性度量。在可信网络连接架构的基础上增加认证信息库,提出了一种多级涉密网安全接入架构,设计了对应的安全接入认证协议,协议以先完整性度量后用户认证的顺序实现了接入双方安全可靠的互认证。对比分析表明,该协议的效率比其他接入认证协议的高。

摘要：会话密钥协商协议是在不可信网络中实现安全的信息交换的有效解决方法。通过对会话密钥协商协议相关的安全属性、可证明安全理论及协议分类进行说明。阐述双方会话密钥协商协议与群密钥协商协议的研究现状。将近年来的典型方案在计算开销、交互轮数、安全属性、安全模型等方面进行对比分析。给出会话密钥协商协议设计的基本原则并指明了未来的研究方向。

摘要：为解决在当前信息系统和网络环境日趋复杂的情况下,敏感信息泄露途径多样、隐蔽性高的问题,提出文档敏感信息控制模型DSI-CON。首先在安全属性基础上建立敏感信息泄露威胁模型,分析了其泄露的主要方式,得出安全需求;然后基于使用控制模型提出DSI-CON,并对其进行形式化描述,同时针对安全需求制定了一系列安全策略,对模型安全性进行了研究分析;最后以教研室为例对模型举例应用,设计了模型部署方案。通过方案部署,得出了模型能够对访问前和访问中敏感信息进行实时控制,抵御攻击进程的实验结果;分析结果表明,DSI-CON能很大程度地降低敏感信息泄露风险,对敏感信息起到保护作用。

摘要：RFID电子标签在国内的应用越来越多,其安全性也开始受到重视。RFID电子标签自身都是有安全设计的,但是RFID电子标签具备足够的安全吗?个人信息存储在电子标签中会泄露吗?RFID电子标签的安全机制到底是怎样设计的?本文围绕目前应用广泛的几类电子标签探讨RFID电子标签的安全属性,并对RFID电子标签在应用中涉及的信息安全方面提出了建议。

摘要：针对使用PTN网络统一承载电网多种类型业务的需求,从通信机理角度研究了PTN网络的网络形态类型,根据PTN网络的复用技术和寻址技术方式,分析了其网络安全属性和传输延时属性,并计算了使用PTN网络传输电网控制信号的传输时延。分析了PTN网络的通道隔离性,针对智能电网业务隔离的要求,对电力PTN网络进行了安全增强设计,提出了"PTN+分域控制管理+网络流量分布测量"的安全增强设计方案。测试结果表明,安全增强设计方案进一步保证了PTN统一承载的各业务系统的应用安全。