期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
23
篇文章
<
1
2
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
受限环境下委托握手DTLS协议的形式化分析与改进
1
作者
蒲鹳雄
缪祥华
袁梅宇
《数据通信》
2024年第1期14-22,共9页
物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的...
物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的方式使其在直接应用到受限环境下会产生诸多性能上的问题。针对DTLS协议在受限环境下的性能问题,国内外的研究学者提出了诸多解决方式,包括但不限于改进加密算法、使用特定硬件、优化证书链、委托可信三方进行密钥协商(即将DTLS握手委托给第三方)。因此,对委托握手的DTLS协议使用Scyther进行形式化分析,得出其交付密钥材料时使用长期预共享密钥存在的安全问题,并提出重用TLS/DTLS协议中PRF函数的改进方式,对改进后的方法进行分析,证明了该方法能有效降低交付密钥材料时存在的风险。
展开更多
关键词
数据报传输层
安全
(DTLS)
受限应用协议(CoAP)
Dolev-Yao攻击者模型
完美前向
安全
(PFS)
安全
协议
形式
化分析
下载PDF
职称材料
一种面向形式化分析的工控系统信息安全抽象方法
2
作者
李威
李建俊
+2 位作者
汤尧平
谢新勤
倪春娟
《通信技术》
2017年第8期1836-1840,共5页
工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义。因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟...
工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义。因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟草行业制丝集控系统面向信息安全形式化的工控系统抽象建模的操作方法设计,并简单论述了该方法在全行业其他工艺控制系统中的通用性,从而为进一步建立通用的工控信息安全形式化分析打下基础。
展开更多
关键词
工控系统
信息
安全形式
化
烟草制丝工艺控制系统
工控信息
安全
下载PDF
职称材料
基于框架的形式化商务安全策略模型
被引量:
2
3
作者
温红子
周永彬
卿斯汉
《电子学报》
EI
CAS
CSCD
北大核心
2005年第2期222-226,共5页
商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (FB FCSM)是一个集成多种完整性原则的系统性商务...
商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (FB FCSM)是一个集成多种完整性原则的系统性商务完整性模型 ,具有良好的兼容性和扩展性 ,是Clark Wilson完整性安全策略的精化 .
展开更多
关键词
信息系统
安全
形式
化商务
安全
策略
完整性
下载PDF
职称材料
食品形式安全的法律保障
4
作者
黄锡生
林北水
《食品研究与开发》
CAS
北大核心
2006年第8期198-201,共4页
食品形式安全,是食品安全的重要内容。我国对食品形式安全的规制,还存在许多法律漏洞。研究食品形式安全,加快食品形式安全立法,是保护人权的体现和要求。分析食品形式安全的基本含义、评析我国食品形式安全体系,能为我国食品形式安全...
食品形式安全,是食品安全的重要内容。我国对食品形式安全的规制,还存在许多法律漏洞。研究食品形式安全,加快食品形式安全立法,是保护人权的体现和要求。分析食品形式安全的基本含义、评析我国食品形式安全体系,能为我国食品形式安全立法提供重要的理论支撑。
展开更多
关键词
食品
形式
食品
形式
安全
法律保障
下载PDF
职称材料
基于Petri网的形式化安全分析方法
被引量:
5
5
作者
余敬芝
燕飞
牛儒
《中国安全科学学报》
CAS
CSCD
北大核心
2019年第S02期138-143,共6页
为解决传统安全分析方法中故障逻辑的描述存在局限性、分析工作耗时大的问题,提出一种基于Petri网模型的形式化安全分析方法。首先,划分系统物理层次,建立系统功能结构模型;然后,考虑组件除正常态、物理故障态之外的功能失效态及多状态...
为解决传统安全分析方法中故障逻辑的描述存在局限性、分析工作耗时大的问题,提出一种基于Petri网模型的形式化安全分析方法。首先,划分系统物理层次,建立系统功能结构模型;然后,考虑组件除正常态、物理故障态之外的功能失效态及多状态间的转换关系,梳理故障模式及量化概率值,结合动态逻辑、模糊逻辑的表达,建立并分析故障Petri网模型;最后,通过城市轨道交通列车自动防护(ATP)子系统的案例研究,验证该方法的可行性。结果表明:Petri网模型分析出子系统逻辑输出功能异常的故障源为测速电机接口故障,同时演绎了故障传播路径,用于指导危险源的辨识和故障诊断。
展开更多
关键词
PETRI网
形式
化
安全
分析
列车自动防护(ATP)
故障传播
危险源辨识
故障诊断
下载PDF
职称材料
一个可抵抗临时指数泄露的密钥协商协议形式化安全模型
被引量:
1
6
作者
陶文君
胡斌
《计算机科学》
CSCD
北大核心
2013年第11期98-102,共5页
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的HCMQV密钥协商协议,该协议在...
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的HCMQV密钥协商协议,该协议在CMQV的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数和抵抗反射攻击。为了证明协议的安全性,没有沿用HMQV协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到DDH问题上。事实证明,设计临时指数可泄露的安全密钥协商协议是可行的。
展开更多
关键词
CMQV
eCK
形式
化
安全
模型
可证明
安全
性
下载PDF
职称材料
一种具有前向安全的TLS协议0-RTT握手方案
7
作者
蒲鹳雄
缪祥华
袁梅宇
《化工自动化及仪表》
CAS
2023年第6期813-819,832,共8页
针对传输层安全(TLS)协议1.3版本在握手消息的第1个flight中传输应用数据的0-RTT握手方案,传输的早期数据由于不存在身份认证,容易遭受重放、伪造以及中间人的攻击,并且不满足前向安全的问题,提出一种具有前向安全的0-RTT优化握手方案,...
针对传输层安全(TLS)协议1.3版本在握手消息的第1个flight中传输应用数据的0-RTT握手方案,传输的早期数据由于不存在身份认证,容易遭受重放、伪造以及中间人的攻击,并且不满足前向安全的问题,提出一种具有前向安全的0-RTT优化握手方案,使用Tamarin安全协议形式化分析工具对改进前、后的协议进行形式化验证,结果表明:改进方案的早期数据在原方案之上具有了前向保密的安全性质。
展开更多
关键词
传输层
安全
(TLS)
完美前向
安全
(PFS)
0-RTT优化握手方案
安全
协议
形式
化分析
TAMARIN
下载PDF
职称材料
人的解放与"安全共同体"——威尔士学派的"批判安全研究"探析
被引量:
14
8
作者
郑先武
《现代国际关系》
CSSCI
北大核心
2004年第6期55-61,共7页
本文探讨的是以"法兰克福学派"和葛兰西思想为学术渊源的"威尔士学派"的"批判安全研究"。该学派通过对传统安全研究本体论上的"国家主义"、认识论上的客观主义和方法论上的实证主义的"理...
本文探讨的是以"法兰克福学派"和葛兰西思想为学术渊源的"威尔士学派"的"批判安全研究"。该学派通过对传统安全研究本体论上的"国家主义"、认识论上的客观主义和方法论上的实证主义的"理论批判",进行了包括"深化安全"、"拓宽安全"、"延伸安全"、"人的解放"和建设超越民族国家的"综合安全共同体"的"理论建设"。其理论意义在于:弥补了原有"批判理论"注重解释性理论批判而轻视实践的研究规划的不足;拓宽了安全研究的新视野和区域安全合作的新途径。其现实意义在于:注重对发展中国家安全形势的研究和知识分子的作用,增加了安全理论与实践的更紧密的相关性等。
展开更多
关键词
威尔士学派
安全
共同体
发展中国家
安全形式
国家主权
国际合作
国际关系
下载PDF
职称材料
加强高校学生安全教育的必要性及其措施
被引量:
16
9
作者
鲍敏秦
张原
《实验技术与管理》
CAS
北大核心
2013年第3期204-205,217,共3页
阐述了高校学生安全教育的必要性,提出加强高校学生安全教育的内容及其措施。通过系统、全面的安全教育,增强学生的安全意识,提高学生的安全技能,为国家输送具有安全素质的合格人才。安全教育将在学生毕业后的社会生活和工作实践中持续...
阐述了高校学生安全教育的必要性,提出加强高校学生安全教育的内容及其措施。通过系统、全面的安全教育,增强学生的安全意识,提高学生的安全技能,为国家输送具有安全素质的合格人才。安全教育将在学生毕业后的社会生活和工作实践中持续不断地发挥作用。
展开更多
关键词
高校
安全
教育
安全
教育
形式
安全
措施
下载PDF
职称材料
我国客运索道安全发展现状分析及风险评估应用研究
被引量:
3
10
作者
衣宝龙
王志强
《起重运输机械》
2021年第23期63-69,共7页
文中概括了总结国内外客运索道安全现状、客运索道风险评估研究现状,论证我国客运索道实施风险评估的必要性和可行性,根据综合风险评价体系理论,开展了现场的风险评估,并证明了其有效性。展望我国客运索道安全发展及风险评估的应用前景...
文中概括了总结国内外客运索道安全现状、客运索道风险评估研究现状,论证我国客运索道实施风险评估的必要性和可行性,根据综合风险评价体系理论,开展了现场的风险评估,并证明了其有效性。展望我国客运索道安全发展及风险评估的应用前景,提出我国客运索道安全发展的若干建议。
展开更多
关键词
客运索道
安全形式
安全
发展
风险评价
下载PDF
职称材料
两个认证密钥协商协议的前向安全性分析
被引量:
1
11
作者
程庆丰
马玉千
《电子与信息学报》
EI
CSCD
北大核心
2022年第12期4294-4303,共10页
目前,网络安全及隐私受到广泛关注。前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一。该文主要分析了MZK20和VSR20两...
目前,网络安全及隐私受到广泛关注。前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一。该文主要分析了MZK20和VSR20两个AKA协议。首先在启发式分析的基础上,利用BAN逻辑分析了MZK20协议不具有弱前向安全性;其次利用启发式分析和Scyther工具证明了VSR20协议不具备前向安全性。最后,在分析VSR20协议设计缺陷的基础上,提出了改进方案,并在eCK模型下证明了改进后协议的安全性;并且,结合Scyther软件证明了改进VSR20协议与VSR20协议相比明显提高了安全性。
展开更多
关键词
安全
协议
形式
化工具分析
认证密钥协商协议
前向
安全
性
下载PDF
职称材料
论述矿山安全形势和安全管理的具体方法
被引量:
2
12
作者
李建龙
李朝博
《中小企业管理与科技》
2015年第25期68-68,共1页
在社会文明程度不断上涨的今天,人们对于安全生产的意识已有所提高,但是每年我国因矿山事故造成的人员伤亡比例却依然不容乐观,这不仅极大的影响了矿山企业自身的发展,同时也给和谐社会的构建带来较大的困扰。因此,本文简单介绍了当前...
在社会文明程度不断上涨的今天,人们对于安全生产的意识已有所提高,但是每年我国因矿山事故造成的人员伤亡比例却依然不容乐观,这不仅极大的影响了矿山企业自身的发展,同时也给和谐社会的构建带来较大的困扰。因此,本文简单介绍了当前矿山安全的形势,通过对安全事故影响因素的分析提出了相应的安全管理方法,以便于更好的促进矿山企业健康有序的发展。
展开更多
关键词
矿山
安全形式
影响因素
具体方法
下载PDF
职称材料
安全生产在杜绝建设领域犯罪中的重要地位
13
作者
董国荣
《黑龙江科技信息》
2012年第4期121-121,共1页
重点阐述了工程建设领域犯罪的主要内容,安全生产在杜绝建设领域犯罪中的重要地位。
关键词
安全
犯罪客体
犯罪的客观方面
犯罪主体
犯罪的主观方面
安全形式
安全
重点
下载PDF
职称材料
论矿山安全形势和安全管理的具体方法
14
作者
苏鹏飞
《中国科技期刊数据库 工业A》
2016年第9期63-63,65,共2页
新《安全生产法》已颁布施行,责任主体更加明确,安监部门的监管力度加大,处罚越来越严,各项要求越来越高,矿山企业作为高危行业,在新形势下,必须进一步加强安全管理工作,矿山企业的主要负责人应该切实履行职责,安全管理机构应该进一步...
新《安全生产法》已颁布施行,责任主体更加明确,安监部门的监管力度加大,处罚越来越严,各项要求越来越高,矿山企业作为高危行业,在新形势下,必须进一步加强安全管理工作,矿山企业的主要负责人应该切实履行职责,安全管理机构应该进一步将安全工作落到实处,落实岗位安全责任制与经济挂钩,努力提高员工的安全意识,做好隐患排查工作,班组推进安全标准化建设,提高公司应急管理水平,把控好安全的最后一道关口,以适应新形势下的安全管理工作,做到安全合法地生产。
展开更多
关键词
矿山
安全形式
影响因素
具体方法
下载PDF
职称材料
基于优化TESLA对GRID协议的安全性改进
被引量:
2
15
作者
韩帅
矫文成
《计算机工程与设计》
北大核心
2019年第8期2161-2166,共6页
针对移动Adhoc网络中GRID协议的广播特性易遭受恶意节点网络攻击的缺点,在安全网格路由协议SGRP的基础上,提出基于优化TESLA的改进方案。采用椭圆曲线数字签名算法完成节点的身份认证,提出通过调整数据包发送顺序的方法减小节点存储开...
针对移动Adhoc网络中GRID协议的广播特性易遭受恶意节点网络攻击的缺点,在安全网格路由协议SGRP的基础上,提出基于优化TESLA的改进方案。采用椭圆曲线数字签名算法完成节点的身份认证,提出通过调整数据包发送顺序的方法减小节点存储开销。对改进协议进行形式化安全分析和性能分析,分析结果表明,该方案相比SGRP具有存储开销小、认证延迟低等优势。
展开更多
关键词
GRID协议
安全
网格路由协议
优化TESLA
身份认证
形式
化
安全
分析
下载PDF
职称材料
浅谈JAVA语言环境下安全策略的实施
16
作者
王畅
《中国新技术新产品》
2011年第7期40-40,共1页
近年来,随着分布计算系统的发展和通信技术的进步,移动代码技术有了巨大的发展,特别是互联网的出现和Java的流行,移动代码的地位已不可替代。然而代码移动性带来的安全问题也愈显突出。因此,基于规范的入侵检测技术在描述和实施安全策...
近年来,随着分布计算系统的发展和通信技术的进步,移动代码技术有了巨大的发展,特别是互联网的出现和Java的流行,移动代码的地位已不可替代。然而代码移动性带来的安全问题也愈显突出。因此,基于规范的入侵检测技术在描述和实施安全策略方面起着指导性作用。
展开更多
关键词
安全
策略
形式
安全
策略描述和实施
进程级监视
下载PDF
职称材料
加强小学学生安全教育的必要性及措施
被引量:
1
17
作者
温磊
《神州》
2019年第22期195-195,共1页
随着社会科学技术的发展,人民的生活水平正在日益提高。小学生在学校受到的教育水平也在不断提高,在学生学习科学技术知识的同时,也应该学习安全教育方面的知识。本文阐述了小学学校安全教育的必要性,通过较为全面的分析,总结出有效提...
随着社会科学技术的发展,人民的生活水平正在日益提高。小学生在学校受到的教育水平也在不断提高,在学生学习科学技术知识的同时,也应该学习安全教育方面的知识。本文阐述了小学学校安全教育的必要性,通过较为全面的分析,总结出有效提高小学学生安全教育方面知识的措施与方式。通过对小学生进行全面的安全素质教育,可以提高学生的安全意识,培养符合社会的综合素养较高的人才,并保障学生在成长过程中可以积极处理突发情况与问题,达到促进社会和谐发展的目的。
展开更多
关键词
小学
安全
教育
安全
教育
形式
安全
措施
下载PDF
职称材料
安全教育的感想——对中学安全教育问题的点滴体会
18
作者
李玉梅
《数码设计》
2019年第7期164-164,共1页
中学生的安全教育一直都是我国教育管理的重要组成部分,然而现实生活中,中学生的安全教育管理还存在许多缺陷,学生的人身安全问题仍然是人们不能忽视的重要存在。
关键词
学生
安全
教育与对策
形式
多样的
安全
教育活动
下载PDF
职称材料
扎实细致地做好退伍兵工作
19
作者
王福新
刘凯
《政工学刊》
2006年第11期39-40,共2页
关键词
退伍兵工作
部队管理
基层力量
安全形式
作风建设
下载PDF
职称材料
信息快车
20
《世界汽车》
2003年第9期12-16,共5页
关键词
微软公司
操作系统
汽车行业
软件平台
车内计算机
网络浏览器
汽车行业
沃尔沃公司
日本
安全形式
系统
下载PDF
职称材料
题名
受限环境下委托握手DTLS协议的形式化分析与改进
1
作者
蒲鹳雄
缪祥华
袁梅宇
机构
昆明理工大学信息工程与自动化学院和云南省计算机技术应用重点实验室
出处
《数据通信》
2024年第1期14-22,共9页
基金
云南省计算机技术应用重点实验室开放基金资助(2021207)。
文摘
物联网设备有着资源受限的特性,往往处于受限的网络环境中,在这之上又面临着安全的挑战。目前常见的受限网络协议栈为CoAP-DTLS/UDP-6LoWPAN,传输层使用UDP,其安全性由DTLS协议维持。但DTLS协议作为TLS在UDP上的扩展,基于PKI连接建立的方式使其在直接应用到受限环境下会产生诸多性能上的问题。针对DTLS协议在受限环境下的性能问题,国内外的研究学者提出了诸多解决方式,包括但不限于改进加密算法、使用特定硬件、优化证书链、委托可信三方进行密钥协商(即将DTLS握手委托给第三方)。因此,对委托握手的DTLS协议使用Scyther进行形式化分析,得出其交付密钥材料时使用长期预共享密钥存在的安全问题,并提出重用TLS/DTLS协议中PRF函数的改进方式,对改进后的方法进行分析,证明了该方法能有效降低交付密钥材料时存在的风险。
关键词
数据报传输层
安全
(DTLS)
受限应用协议(CoAP)
Dolev-Yao攻击者模型
完美前向
安全
(PFS)
安全
协议
形式
化分析
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
一种面向形式化分析的工控系统信息安全抽象方法
2
作者
李威
李建俊
汤尧平
谢新勤
倪春娟
机构
浙江中烟工业有限责任公司
上海三零卫士信息安全有限公司
出处
《通信技术》
2017年第8期1836-1840,共5页
文摘
工控系统的面向信息安全的形式化分析,是开展行业工控系统信息安全工作的一个重要方向,对于理解既有标准和指导在研标准都有理论高度的意义。因此,参考IEC 62443的区域和管道模型,在烟草行业的烟草制丝工艺控制系统中进行实践,完成了烟草行业制丝集控系统面向信息安全形式化的工控系统抽象建模的操作方法设计,并简单论述了该方法在全行业其他工艺控制系统中的通用性,从而为进一步建立通用的工控信息安全形式化分析打下基础。
关键词
工控系统
信息
安全形式
化
烟草制丝工艺控制系统
工控信息
安全
Keywords
industrial control system
information security metrics
silk distributed control system
ICS security
分类号
TP309.1 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于框架的形式化商务安全策略模型
被引量:
2
3
作者
温红子
周永彬
卿斯汉
机构
中国科学院软件研究所信息安全技术工程研究中心
中国科学院软件研究所信息安全国家重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第2期222-226,共5页
基金
国家自然科学基金 (No .60 0 830 0 7/ 60 3730 39)
国家重点基础研究发展规划 (973) (No .G1 9990 3580 2 )
文摘
商务信息系统安全的核心目标是维持系统数据的完整性 .虽然研究人员已提出许多完整性安全原则 ,但至今仍然缺乏一种系统的商务安全策略 .本文所提出的基于框架的形式化商务安全策略模型 (FB FCSM)是一个集成多种完整性原则的系统性商务完整性模型 ,具有良好的兼容性和扩展性 ,是Clark Wilson完整性安全策略的精化 .
关键词
信息系统
安全
形式
化商务
安全
策略
完整性
Keywords
information system security
formal commercial secure policy model
integrity
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
食品形式安全的法律保障
4
作者
黄锡生
林北水
机构
重庆大学法学院
出处
《食品研究与开发》
CAS
北大核心
2006年第8期198-201,共4页
文摘
食品形式安全,是食品安全的重要内容。我国对食品形式安全的规制,还存在许多法律漏洞。研究食品形式安全,加快食品形式安全立法,是保护人权的体现和要求。分析食品形式安全的基本含义、评析我国食品形式安全体系,能为我国食品形式安全立法提供重要的理论支撑。
关键词
食品
形式
食品
形式
安全
法律保障
Keywords
the form of food
the safe form of food
legal safeguard
分类号
D922.16 [政治法律—宪法学与行政法学]
下载PDF
职称材料
题名
基于Petri网的形式化安全分析方法
被引量:
5
5
作者
余敬芝
燕飞
牛儒
机构
北京交通大学电子信息工程学院
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2019年第S02期138-143,共6页
文摘
为解决传统安全分析方法中故障逻辑的描述存在局限性、分析工作耗时大的问题,提出一种基于Petri网模型的形式化安全分析方法。首先,划分系统物理层次,建立系统功能结构模型;然后,考虑组件除正常态、物理故障态之外的功能失效态及多状态间的转换关系,梳理故障模式及量化概率值,结合动态逻辑、模糊逻辑的表达,建立并分析故障Petri网模型;最后,通过城市轨道交通列车自动防护(ATP)子系统的案例研究,验证该方法的可行性。结果表明:Petri网模型分析出子系统逻辑输出功能异常的故障源为测速电机接口故障,同时演绎了故障传播路径,用于指导危险源的辨识和故障诊断。
关键词
PETRI网
形式
化
安全
分析
列车自动防护(ATP)
故障传播
危险源辨识
故障诊断
Keywords
Petri net
formal safety analysis
automatic train protection(ATP)
fault propagation
hazard identification
fault diagnosis faultdiagnosis
分类号
U284.95 [交通运输工程—交通信息工程及控制]
下载PDF
职称材料
题名
一个可抵抗临时指数泄露的密钥协商协议形式化安全模型
被引量:
1
6
作者
陶文君
胡斌
机构
解放军信息工程大学
出处
《计算机科学》
CSCD
北大核心
2013年第11期98-102,共5页
基金
国家自然科学基金(61272488
61272041
61202491)资助
文摘
从临时指数泄露这一新的假设出发,分析了eCK模型下临时指数泄露可能造成的安全隐患,提出了可抵抗临时指数泄露的新安全属性,建立了攻击者具有更强能力的新形式化安全模型。在该模型下,给出了一个可证明安全的HCMQV密钥协商协议,该协议在CMQV的基础上对参数e的生成方式做了自然的修改并增加了保密性,以有效减少协议执行中杂凑的次数和抵抗反射攻击。为了证明协议的安全性,没有沿用HMQV协议证明签名机制不可伪造性的方法,而是通过构造区分器将新协议的安全性紧凑地归约到DDH问题上。事实证明,设计临时指数可泄露的安全密钥协商协议是可行的。
关键词
CMQV
eCK
形式
化
安全
模型
可证明
安全
性
Keywords
CMQV, eCK, Formal security model, Provable security
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
一种具有前向安全的TLS协议0-RTT握手方案
7
作者
蒲鹳雄
缪祥华
袁梅宇
机构
昆明理工大学信息工程与自动化学院
昆明理工大学云南省计算机技术应用重点实验室
出处
《化工自动化及仪表》
CAS
2023年第6期813-819,832,共8页
基金
云南省计算机技术应用重点实验室开放基金(批准号:2021207)资助的课题。
文摘
针对传输层安全(TLS)协议1.3版本在握手消息的第1个flight中传输应用数据的0-RTT握手方案,传输的早期数据由于不存在身份认证,容易遭受重放、伪造以及中间人的攻击,并且不满足前向安全的问题,提出一种具有前向安全的0-RTT优化握手方案,使用Tamarin安全协议形式化分析工具对改进前、后的协议进行形式化验证,结果表明:改进方案的早期数据在原方案之上具有了前向保密的安全性质。
关键词
传输层
安全
(TLS)
完美前向
安全
(PFS)
0-RTT优化握手方案
安全
协议
形式
化分析
TAMARIN
Keywords
TLS
perfect forward secrecy
0-RTT handshake scheme
security protocol formal analysis
Tamarin
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
人的解放与"安全共同体"——威尔士学派的"批判安全研究"探析
被引量:
14
8
作者
郑先武
机构
南京大学国际关系研究院
出处
《现代国际关系》
CSSCI
北大核心
2004年第6期55-61,共7页
文摘
本文探讨的是以"法兰克福学派"和葛兰西思想为学术渊源的"威尔士学派"的"批判安全研究"。该学派通过对传统安全研究本体论上的"国家主义"、认识论上的客观主义和方法论上的实证主义的"理论批判",进行了包括"深化安全"、"拓宽安全"、"延伸安全"、"人的解放"和建设超越民族国家的"综合安全共同体"的"理论建设"。其理论意义在于:弥补了原有"批判理论"注重解释性理论批判而轻视实践的研究规划的不足;拓宽了安全研究的新视野和区域安全合作的新途径。其现实意义在于:注重对发展中国家安全形势的研究和知识分子的作用,增加了安全理论与实践的更紧密的相关性等。
关键词
威尔士学派
安全
共同体
发展中国家
安全形式
国家主权
国际合作
国际关系
分类号
D81 [政治法律—国际关系]
下载PDF
职称材料
题名
加强高校学生安全教育的必要性及其措施
被引量:
16
9
作者
鲍敏秦
张原
机构
西北工业大学实验室与设备处
出处
《实验技术与管理》
CAS
北大核心
2013年第3期204-205,217,共3页
基金
西北工业大学政策研究基金项目(ZYY201207)
文摘
阐述了高校学生安全教育的必要性,提出加强高校学生安全教育的内容及其措施。通过系统、全面的安全教育,增强学生的安全意识,提高学生的安全技能,为国家输送具有安全素质的合格人才。安全教育将在学生毕业后的社会生活和工作实践中持续不断地发挥作用。
关键词
高校
安全
教育
安全
教育
形式
安全
措施
Keywords
to strengthen safety education form
necessity
safety measure
分类号
G474 [文化科学—教育技术学]
下载PDF
职称材料
题名
我国客运索道安全发展现状分析及风险评估应用研究
被引量:
3
10
作者
衣宝龙
王志强
机构
国家客运架空索道安全监督检验中心
出处
《起重运输机械》
2021年第23期63-69,共7页
基金
客运索道综合风险评估体系及应用研究(26KJ19212)。
文摘
文中概括了总结国内外客运索道安全现状、客运索道风险评估研究现状,论证我国客运索道实施风险评估的必要性和可行性,根据综合风险评价体系理论,开展了现场的风险评估,并证明了其有效性。展望我国客运索道安全发展及风险评估的应用前景,提出我国客运索道安全发展的若干建议。
关键词
客运索道
安全形式
安全
发展
风险评价
Keywords
passenger ropeway,safety means
safety development
risk assessment
分类号
TH235 [机械工程—机械制造及自动化]
下载PDF
职称材料
题名
两个认证密钥协商协议的前向安全性分析
被引量:
1
11
作者
程庆丰
马玉千
机构
战略支援部队信息工程大学
数学工程与先进计算国家重点实验室
出处
《电子与信息学报》
EI
CSCD
北大核心
2022年第12期4294-4303,共10页
基金
国家自然科学基金(61872449)。
文摘
目前,网络安全及隐私受到广泛关注。前向安全性是Günther在1989年提出的一种认证密钥协商协议(AKA)的安全属性(doi:10.1007/3-540-46885-4_5),该性质经过30年的蓬勃发展已经成为研究领域的热点之一。该文主要分析了MZK20和VSR20两个AKA协议。首先在启发式分析的基础上,利用BAN逻辑分析了MZK20协议不具有弱前向安全性;其次利用启发式分析和Scyther工具证明了VSR20协议不具备前向安全性。最后,在分析VSR20协议设计缺陷的基础上,提出了改进方案,并在eCK模型下证明了改进后协议的安全性;并且,结合Scyther软件证明了改进VSR20协议与VSR20协议相比明显提高了安全性。
关键词
安全
协议
形式
化工具分析
认证密钥协商协议
前向
安全
性
Keywords
Formal analysis of security protocols
Authenticated Key Agreement protocols(AKA)
Forward Security
分类号
TN918 [电子电信—通信与信息系统]
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
论述矿山安全形势和安全管理的具体方法
被引量:
2
12
作者
李建龙
李朝博
机构
河北省安全生产监督管理局安全科学技术中心
出处
《中小企业管理与科技》
2015年第25期68-68,共1页
文摘
在社会文明程度不断上涨的今天,人们对于安全生产的意识已有所提高,但是每年我国因矿山事故造成的人员伤亡比例却依然不容乐观,这不仅极大的影响了矿山企业自身的发展,同时也给和谐社会的构建带来较大的困扰。因此,本文简单介绍了当前矿山安全的形势,通过对安全事故影响因素的分析提出了相应的安全管理方法,以便于更好的促进矿山企业健康有序的发展。
关键词
矿山
安全形式
影响因素
具体方法
分类号
X92 [环境科学与工程—安全科学]
下载PDF
职称材料
题名
安全生产在杜绝建设领域犯罪中的重要地位
13
作者
董国荣
机构
哈尔滨亿汇建设项目管理有限公司
出处
《黑龙江科技信息》
2012年第4期121-121,共1页
文摘
重点阐述了工程建设领域犯罪的主要内容,安全生产在杜绝建设领域犯罪中的重要地位。
关键词
安全
犯罪客体
犯罪的客观方面
犯罪主体
犯罪的主观方面
安全形式
安全
重点
分类号
X92 [环境科学与工程—安全科学]
下载PDF
职称材料
题名
论矿山安全形势和安全管理的具体方法
14
作者
苏鹏飞
机构
神华神东生产服务中心
出处
《中国科技期刊数据库 工业A》
2016年第9期63-63,65,共2页
文摘
新《安全生产法》已颁布施行,责任主体更加明确,安监部门的监管力度加大,处罚越来越严,各项要求越来越高,矿山企业作为高危行业,在新形势下,必须进一步加强安全管理工作,矿山企业的主要负责人应该切实履行职责,安全管理机构应该进一步将安全工作落到实处,落实岗位安全责任制与经济挂钩,努力提高员工的安全意识,做好隐患排查工作,班组推进安全标准化建设,提高公司应急管理水平,把控好安全的最后一道关口,以适应新形势下的安全管理工作,做到安全合法地生产。
关键词
矿山
安全形式
影响因素
具体方法
分类号
TD79 [矿业工程—矿井通风与安全]
下载PDF
职称材料
题名
基于优化TESLA对GRID协议的安全性改进
被引量:
2
15
作者
韩帅
矫文成
机构
陆军工程大学石家庄校区电子与光学工程系
出处
《计算机工程与设计》
北大核心
2019年第8期2161-2166,共6页
文摘
针对移动Adhoc网络中GRID协议的广播特性易遭受恶意节点网络攻击的缺点,在安全网格路由协议SGRP的基础上,提出基于优化TESLA的改进方案。采用椭圆曲线数字签名算法完成节点的身份认证,提出通过调整数据包发送顺序的方法减小节点存储开销。对改进协议进行形式化安全分析和性能分析,分析结果表明,该方案相比SGRP具有存储开销小、认证延迟低等优势。
关键词
GRID协议
安全
网格路由协议
优化TESLA
身份认证
形式
化
安全
分析
Keywords
GRID protocol
SGRP
optimized TESLA
identity authentication
formal security analysis
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
浅谈JAVA语言环境下安全策略的实施
16
作者
王畅
机构
杭州国际服务工程学院
出处
《中国新技术新产品》
2011年第7期40-40,共1页
文摘
近年来,随着分布计算系统的发展和通信技术的进步,移动代码技术有了巨大的发展,特别是互联网的出现和Java的流行,移动代码的地位已不可替代。然而代码移动性带来的安全问题也愈显突出。因此,基于规范的入侵检测技术在描述和实施安全策略方面起着指导性作用。
关键词
安全
策略
形式
安全
策略描述和实施
进程级监视
分类号
TP313 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
加强小学学生安全教育的必要性及措施
被引量:
1
17
作者
温磊
机构
邯郸市体育运动学校
出处
《神州》
2019年第22期195-195,共1页
文摘
随着社会科学技术的发展,人民的生活水平正在日益提高。小学生在学校受到的教育水平也在不断提高,在学生学习科学技术知识的同时,也应该学习安全教育方面的知识。本文阐述了小学学校安全教育的必要性,通过较为全面的分析,总结出有效提高小学学生安全教育方面知识的措施与方式。通过对小学生进行全面的安全素质教育,可以提高学生的安全意识,培养符合社会的综合素养较高的人才,并保障学生在成长过程中可以积极处理突发情况与问题,达到促进社会和谐发展的目的。
关键词
小学
安全
教育
安全
教育
形式
安全
措施
分类号
G623.5 [文化科学—教育学]
下载PDF
职称材料
题名
安全教育的感想——对中学安全教育问题的点滴体会
18
作者
李玉梅
机构
山东省东营市河口区义和镇中心学校
出处
《数码设计》
2019年第7期164-164,共1页
文摘
中学生的安全教育一直都是我国教育管理的重要组成部分,然而现实生活中,中学生的安全教育管理还存在许多缺陷,学生的人身安全问题仍然是人们不能忽视的重要存在。
关键词
学生
安全
教育与对策
形式
多样的
安全
教育活动
Keywords
student safety education and countermeasures
Various forms of safety education activities
分类号
G631 [文化科学—教育学]
下载PDF
职称材料
题名
扎实细致地做好退伍兵工作
19
作者
王福新
刘凯
机构
海军大连舰艇学院
[
出处
《政工学刊》
2006年第11期39-40,共2页
关键词
退伍兵工作
部队管理
基层力量
安全形式
作风建设
分类号
E263 [军事—军事理论]
下载PDF
职称材料
题名
信息快车
20
出处
《世界汽车》
2003年第9期12-16,共5页
关键词
微软公司
操作系统
汽车行业
软件平台
车内计算机
网络浏览器
汽车行业
沃尔沃公司
日本
安全形式
系统
分类号
F416.471 [经济管理—产业经济]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
受限环境下委托握手DTLS协议的形式化分析与改进
蒲鹳雄
缪祥华
袁梅宇
《数据通信》
2024
0
下载PDF
职称材料
2
一种面向形式化分析的工控系统信息安全抽象方法
李威
李建俊
汤尧平
谢新勤
倪春娟
《通信技术》
2017
0
下载PDF
职称材料
3
基于框架的形式化商务安全策略模型
温红子
周永彬
卿斯汉
《电子学报》
EI
CAS
CSCD
北大核心
2005
2
下载PDF
职称材料
4
食品形式安全的法律保障
黄锡生
林北水
《食品研究与开发》
CAS
北大核心
2006
0
下载PDF
职称材料
5
基于Petri网的形式化安全分析方法
余敬芝
燕飞
牛儒
《中国安全科学学报》
CAS
CSCD
北大核心
2019
5
下载PDF
职称材料
6
一个可抵抗临时指数泄露的密钥协商协议形式化安全模型
陶文君
胡斌
《计算机科学》
CSCD
北大核心
2013
1
下载PDF
职称材料
7
一种具有前向安全的TLS协议0-RTT握手方案
蒲鹳雄
缪祥华
袁梅宇
《化工自动化及仪表》
CAS
2023
0
下载PDF
职称材料
8
人的解放与"安全共同体"——威尔士学派的"批判安全研究"探析
郑先武
《现代国际关系》
CSSCI
北大核心
2004
14
下载PDF
职称材料
9
加强高校学生安全教育的必要性及其措施
鲍敏秦
张原
《实验技术与管理》
CAS
北大核心
2013
16
下载PDF
职称材料
10
我国客运索道安全发展现状分析及风险评估应用研究
衣宝龙
王志强
《起重运输机械》
2021
3
下载PDF
职称材料
11
两个认证密钥协商协议的前向安全性分析
程庆丰
马玉千
《电子与信息学报》
EI
CSCD
北大核心
2022
1
下载PDF
职称材料
12
论述矿山安全形势和安全管理的具体方法
李建龙
李朝博
《中小企业管理与科技》
2015
2
下载PDF
职称材料
13
安全生产在杜绝建设领域犯罪中的重要地位
董国荣
《黑龙江科技信息》
2012
0
下载PDF
职称材料
14
论矿山安全形势和安全管理的具体方法
苏鹏飞
《中国科技期刊数据库 工业A》
2016
0
下载PDF
职称材料
15
基于优化TESLA对GRID协议的安全性改进
韩帅
矫文成
《计算机工程与设计》
北大核心
2019
2
下载PDF
职称材料
16
浅谈JAVA语言环境下安全策略的实施
王畅
《中国新技术新产品》
2011
0
下载PDF
职称材料
17
加强小学学生安全教育的必要性及措施
温磊
《神州》
2019
1
下载PDF
职称材料
18
安全教育的感想——对中学安全教育问题的点滴体会
李玉梅
《数码设计》
2019
0
下载PDF
职称材料
19
扎实细致地做好退伍兵工作
王福新
刘凯
《政工学刊》
2006
0
下载PDF
职称材料
20
信息快车
《世界汽车》
2003
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部