检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向演进中网络协议的安全属性验证研究

面向演进中网络协议的安全属性验证研究

作者：徐春香海南大学

学位级别：硕士

如今,海量信息在网络上高速流动,人类社会的方方面面已经与互联网密不可分,网络安全的重要性与日俱增。网络协议是互联网的基石,协议的安全性直接决定了整个互联网的安全。新型网络协议层出不穷,在给互联网增添更多激动人心的新特性的同... 详细信息

如今,海量信息在网络上高速流动,人类社会的方方面面已经与互联网密不可分,网络安全的重要性与日俱增。网络协议是互联网的基石,协议的安全性直接决定了整个互联网的安全。新型网络协议层出不穷,在给互联网增添更多激动人心的新特性的同时,也给互联网的安全带来了更多的挑战。新型网络协议在广泛部署之前,往往会经过长期的开发演进和部署演进过程。在新型网络协议演进过程中,如何确保演进中网络协议的安全已成为协议开发者和网络运营者面临的重要问题。为了给上述问题的提供一个可行性的参考,本文面向演进中网络协议安全属性验证的做了如下研究:(1)本文提出了演进中的网络协议开发阶段验证方法。本文深入研究演进中的网络协议安全属性的验证,将演进中网络协议安全属性的验证分为开发阶段验证和部署阶段验证。通过分析演进中网络协议在开发阶段的特点,本文提出了演进中的网络协议开发阶段验证方法。在该验证方法中,充分模拟了演进中网络协议开发阶段的需求和设计变更,能有效的验证的演进中网络协议开发阶段的安全属性。本文以演进的SDN状态防火墙为例,详细的介绍了演进中网络协议开发阶段的验证方法的实际应用。首先,本文分析有状态防火墙的机制以及最基本的安全属性要求,构建初始形式化模型,并采用自动分析加密协议工具Pro Verif对其进行验证。然后,根据验证结果改进SDN有状态防火墙的机制并以更新安全属性的方式驱动SDN有状态防火墙演进,进而再次迭代验证。(2)本文提出了演进中的网络协议部署阶段验证方法。通过分析演进中网络协议在部署阶段的特点,本文提出了演进中的网络协议部署阶段验证方法。该验证方法充分模拟网络协议部署演进进程,即部署场景由简单到复杂、网络规模由小到大、网络节点由少到多的演进进程。该验证方法中,采取增量验证的方式验证安全属性,能有效发现相应的安全缺陷,体现了本文提出的演进中的网络协议部署阶段验证方法的可行性。与传统验证方式相比,增量验证能够显著的节约验证资源开销。本文以车联网场景下的演进中网络协议为例,详细介绍演进中的网络协议部署阶段验证方法。首先,本文分析了车联网协议的场景以及对应的安全属性,并按照部署阶段的形式化模型对车联网协议建立初始形式化模型。其次,采用Pro Verif对初始形式化模型进行验证。然后,根据验证结果改进车联网的网络配置并以更新网络配置的方式驱动车联网部署的演进,进而再次迭代验证。

关键词：形式化验证安全属性演进网络协议

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

协议认证性安全属性测试方法

电子学报 2016年第11期44卷 2788-2795页

作者：何云华杨超张俊伟马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北方工业大学计算机学院信息安全系北京100029

认证性建立通信双方的信任关系,是安全通信的重要保障.传统的协议测试方法只关注协议功能的正确性,无法满足认证性等安全属性测试的要求.因此,提出了一种针对协议认证性的安全属性测试方法,利用带目标集合的有限状态机模型SPG-EFSM来扩... 详细信息

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

关键词：协议测试安全属性认证性测试形式化模型攻击分类

在线全文

学校读者我要写书评

暂无评论

基于熵权的交通事故现场安全属性识别模型

交通运输系统工程与信息 2013年第2期13卷 136-140,163页

作者：张文会李德才罗文文东北林业大学交通学院哈尔滨150040

为了提高交通事故现场的安全性,预防二次交通事故,综合考虑事故现场路段的交通和管理要素特征,建立交通事故现场安全性评价指标体系,准则层为人为因素、车辆因素、道路与环境因素和管理因素,决策层共15个指标.将熵值法和属性识别模型相... 详细信息

为了提高交通事故现场的安全性,预防二次交通事故,综合考虑事故现场路段的交通和管理要素特征,建立交通事故现场安全性评价指标体系,准则层为人为因素、车辆因素、道路与环境因素和管理因素,决策层共15个指标.将熵值法和属性识别模型相结合,建立基于熵权的事故现场安全属性识别模型,应用熵权理论,计算评估指标的权重和属性测度.为了验证模型的适用性,把采集到的四组典型高速公路交通事故现场的基本特征数据输入模型,对事故现场的安全性进行评价.结果表明,该模型不仅可以进行事故现场处置方案的安全性评价,也可以进行各方案之间的比较.

关键词：交通工程交通安全事故现场熵值法安全属性

在线全文

学校读者我要写书评

暂无评论

形态的安全属性与创新设计

包装工程 2020年第12期41卷 33-37,43页

作者：王伶羽胡洁上海交通大学上海200240

目的产品设计为形态学的外在表现,安全为形态学的基本属性.深入剖析形态的安全属性,构建面向安全的产品创新设计体系,在满足用户需求的同时,生成产品的创新设计解.方法从历史的角度研究形态学的安全属性的源流与表现,分析安全属性的... 详细信息

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

关键词：形态学安全属性创新设计

基于Petri网的可信连接架构的安全属性分析

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2012年第8期22卷 812-818页

作者：任兴田北京工业大学计算机学院北京100124

为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模，该模型用于描述攻击行为和TCA的双... 详细信息

为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模，该模型用于描述攻击行为和TCA的双向认证过程。以该模型为基础构造了马尔科夫链，通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析。最后给出了一个具体数值评估结果的实例。此研究给出的方法有理论和实用意义。

关键词：可信计算可信连接架构(TCA) 安全属性定量分析随机Petri网

基于ptSPA的概率时间信息流安全属性分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机研究与发展 2011年第8期48卷 1370-1380页

作者：李超殷丽华郭云川中国科学院计算技术研究所信息安全研究中心北京100190 中国科学院研究生院北京100049

基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上... 详细信息

基于进程代数的无干扰性分析是分析信息流安全性质的主要方法.为考虑概率时间配置下的信息泄漏,对安全进程代数进行概率时间域上的扩展,提出概率时间安全进程代数ptSPA,给出其形式化语法及语义,引入概率时间弱互拟等价的概念,在此基础上,讨论概率时间信息流安全属性,提出TBSPNI,PTBNDC,SPTBNDC属性,分析属性的包含性,证明提出的属性在表达能力上强于原有属性,最后给出一个实例,对IMP机制在概率时间配置下进行了建模分析,分析结果表明ptSPA对捕获概率时间隐蔽通道的有效性.

关键词：信息流分析安全属性进程代数无干扰隐蔽通道

安全属性形式化描述统一框架及其分析方法研究

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2011年第4期28卷 1460-1464页

作者：谢鸿波谭兴烈周明天电子科技大学计算机科学与工程学院成都610054 重庆通信学院数据链教研室重庆400035 中国电子工业集团第30研究所成都610041

在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠... 详细信息

在安全协议的形式化分析研究当中,如何在统一的框架下对更多的安全属性进行分析和验证是一个亟待解决的重要问题。为了解决这个问题,提出了用匹配关系来形式化地描述各种安全属性的统一框架,建立了语法和语义系统,并证明了该框架的可靠性和完备性。在此基础上,将知识推理和进程演算结合起来,提出了一个安全协议形式化分析的一般模型。最后,给出了一些安全属性的研究实例,并指出了进一步完善此模型的研究方向。

关键词：进程演算知识推理安全属性形式化分析安全协议

Adaptively Secure Attribute-Based Encryption Supporting Attribute Revocation

在线全文

学校读者我要写书评

暂无评论

China Communications 2012年第9期9卷 22-40页

作者： Wu Qiuxin Zhang Miao College of Science Beijing Information Science and Technology University Beijing 100192 P. R. China School of Computer Beijing University of Posts and Telecommunications Beijing 100876 P. R. China

Attribute revocation is inevitable and also important for Attribute-Based Encryption (ABE) in practice.However,little attention has been paid to this issue,and it remains one of the main obstacles for the application of ABE.Most of existing ABE schemes support attribute revocation work under indirect revocation model such that all the users' private keys will be affected when the revocation events occur.Though some ABE schemes have realized revocation under direct revocation model such that the revocation list is embedded in the ciphertext and none of the users' private keys will be affected by revocation,they mostly focused on the user revocation that revokes the user's whole attributes,or they can only be proven to be selectively secure.In this paper,we first define a model of adaptively secure ABE supporting the attribute revocation under direct revocation model.Then we propose a Key-Policy ABE (KP-ABE) scheme and a Ciphertext-Policy ABE (CP-ABE) scheme on composite order bilinear groups.Finally,we prove our schemes to be adaptively secure by employing the methodology of dual system encryption.

关键词：安全属性加密技术自适应撤销 ABE 私人密钥用户工作时

在线全文

学校读者我要写书评

暂无评论

强化网络安全的公共安全属性

中国信息安全 2023年第4期 43-44页

作者：肖新光全国政协安天科技集团中国网络安全产业联盟

新时期十年,我国网络安全体系和能力建设取得巨大成就。技术水平不断提升,产业规模持续扩大。我国信息化基础技术和能力、网络安全能力体系和产业力量已经具备了对标发达国家的基本条件:完成了《网络安全法》《数据安全法》《个人信息... 详细信息

新时期十年,我国网络安全体系和能力建设取得巨大成就。技术水平不断提升,产业规模持续扩大。我国信息化基础技术和能力、网络安全能力体系和产业力量已经具备了对标发达国家的基本条件:完成了《网络安全法》《数据安全法》《个人信息保护法》等重要法律和《关键信息基础设施保护条例》等法规的建设;国家网信部门成为统筹部门,公安部等部门成为主要执法机构,国家应急技术处理支撑体系和安全预警通报体系基本完善,漏洞和威胁情报共享基本具备,形成了一套有中国特色的网络安全治理体制机制。

关键词：网络安全数据安全安全属性应急技术情报共享技术水平信息化基础支撑体系