CC安全功能组件形式化分析

先提出了一种CC(common criteria)安全功能组件的形式化分析方法，对CC中的135个组件分别作形式化分析，评估各组件规范安全功能要求的确定性，并在此基础上进一步分析安全功能类的标准化规范程度及其优缺点。     

安全协议形式化分析的研究和实现

安全协议是指使用密码技术或提供安全服务的协议,可以实现认证和密钥交换等安全目的.安全协议分析工具是指一套建立和分析安全协议模型的工具,它采用形式化的分析方法对安全协议进行分析并得出结论.文章以EKE协议为例,采用AVISPA分析工具对其安全性进行分析,给出了安全性与攻击轨迹的关系.     

基于形式化方法的安全协议安全性分析

协议安全是确保网络数据安全的基础。传统的基于观察的人工分析协议安全性分析已不能满足安全需求。如何研究安全协议及安全属性的性质,使两者在统一框架下实现可分析和验证是亟待解决的问题,形式化分析为解决这一问题提供了精确的数学手段和强大的分析工具。对已有的安全协议形式化分析方法进行了归纳和总结,并从等价验证、协议优化和增强分析准确度三方面提出了未来的研究设想。     

物联网安全问题分析研究

物联网的安全问题和隐私问题是制约物联网建设与发展的一个重要因素。文章分析了物联网的安全现状,并对一些典型安全威胁进行了实际案例分析,以得到物联网具体的安全问题,最后,针对相应的安全问题,提出安全对策,为物联网后续发展提供理论支持。     

物联网安全问题分析研究

物联网的安全问题和隐私问题是制约物联网建设与发展的一个重要因素。文章分析了物联网的安全现状,并对一些典型安全威胁进行了实际案例分析,以得到物联网具体的安全问题,最后,针对相应的安全问题,提出安全对策,为物联网后续发展提供理论支持。     

物联网安全问题分析

随着物联网的快速发展,其安全问题渐渐被重视起来。本文根据物联网的基本概念、特点,分析了物联网的三层体系结构分布情况及各层面临的安全威胁,提出了物联网各层的安全架构,对今后物联网的研究和发展有重要的借鉴和参考价值。     

安全协议的形式化规范

该文给出用PVS(Prototype Verification System)对安全协议进行形式化规范的一种方 法。该方法以高阶逻辑为规范语言,利用trace模型来描述协议的行为,并假设系统中存在强攻击者和理想 加密系统。重要的结构如消息、事件、协议规则等都通过语义编码方式定义.     

物联网安全问题技术分析

物联网的安全直接关系到物联网服务能否得到真正的实际推广应用,从物联网的两种安全技术出发,分析了物联网安全机制与普通移动通信网络安全机制的区别,讨论了物联网安全的特殊需求。     

无线移动通信与物联网安全应用分析

物联网是网络进步的关键点也是未来网络成长的方向,本文就无线移动通信与物联网的结构及进步简要阐述了无线移动通信与物联网的安全运用。     

物联网安全问题分析与相关措施探讨

物联网是互联网功能的延伸,是通过互联网将信息连接起来,从而实现利用互联网达成的信息采集与处理。物联网虽然能将信息连接起来,但它是通过互联网的达成的,因此它是互联网的一种应用,是互联网适应当今社会发展现状的一种通讯手段。     

浅谈物联网的安全技术

本文就物联网及其安全问题展开,介绍了物联网,阐述了物联网面临的安全威胁及相应防护措施,分别从感知层、网络层、应用层等几方面对物联网安全问题进行研究,最后提出了对物联网安全性的未来展望.     

物联网安全防范措施研究

物联网被人们视为世界信息产业的第三次浪潮,各种智能设备利用网络相互连接,在"互联网+"的推动下,彻底改变了人们以往的生活方式.在物联网给人们工作学习带来便利的同时,安全问题也随之而来,大量智能设备接入网络,海量数据通过网络传输,如何保证安全性显得尤为重要,本文重点对物联网安全威胁及防范措施进行分析.     

物联网计算机网络安全与远程控制技术分析

物联网作为新一代信息技术的重要组成内容之一,对信息化时代的发展与不断深化有着重要的作用和影响。本文将通过对物联网的特点及其网络通信安全分析,围绕物联网计算机网络的安全与远程控制技术进行研究,以供参考。     

物联网安全问题分析及机制设计

目前关于物联网的研究大多关注于网络技术、业务应用、QoS保证等方面,对于物联网的安全方面的研究还没有得到重视。文章总结了相关组织对于物联网安全方面的研究进展,分析物联网各个层面面临的安全问题,结合网络层次和安全防护等级,提出了物联网安全体系的总体框架,并对框架内的安全管理手段进行了讨论。     

物联网安全初探

首先介绍了物联网的基本概念和物联网的三层体系结构,概括了物联网安全的新挑战和物联网安全大众化、轻量级、非对称、复杂性等主要特点,然后分别从感知层、网络层和应用层分析了物联网的安全威胁,最后提出了物联网安全体系结构。物联网安全需要对物联网感知层、网络层和应用层进行有效的安全保障,以应对其面临的安全威胁,并且还要能够对各个层次的安全防护手段进行统一的管理。     

基于SAT的安全协议惰性形式化分析方法

提出了一种基于布尔可满足性问题的安全协议形式化分析方法SAT-LMC,通过引入惰性分析的思想优化初始状态与转换规则,提高了安全性的检测效率。另一方面,通过在消息类型上定义偏序关系,SAT-LMC能够检测出更丰富的类型缺陷攻击。基于此方法实现了一个安全协议分析工具,针对Otway-Rees协议检测出了一种类型缺陷攻击;针对OAuth2.0协议,检测结果显示对现实中存在的一些应用场景,存在一种利用授权码截取的中间人攻击。     

关于物联网分层安全体系结构分析

随着互联网和硬件基础设施的发展,物联网也逐渐成为信息技术发展的一种趋势。由于物联网需要对大量的数据进行采集和处理,这些数据的安全性问题极为重要。     

物联网安全机制浅析

物联网是继通信网之后涌现的新一代信息产业浪潮，其安全问题已成为目前研究的热点。文章简要分析了物联网发展过程中安全方面存在的问题，并对如何构建物联网的安全机制提出了些许看法，以期能对物联网的未来发展起到积极作用。     

WSN安全通信的形式化验证

为了解决无线传感器网络在军事、商业等领域上的安全和隐私问题,文中分析了传感器节点通信过程中可能遭受的攻击及其防御措施,提出了一种验证安全通信是否真正安全的方法。该方法是一种混合型的形式化分析方法,先应用模型检测工具AVISPA分析安全通信过程是否会遭到攻击,然后采用形式化验证方法Object-Z建立模型和分析,并证明安全通信过程能否实现其安全目标。文中以基于传感器网络加密协议的安全通信过程为例,证实了该方法的可行性。