主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

主  题

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

C2P:基于Pi演算的协议C代码形式化抽象方法  CNKI文献

形式化方法安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的~...

张协力 祝跃飞... 《软件学报》 2021年06期 期刊

关键词: 协议实现 / 形式化验证 / Pi演算 / 模型抽取

下载(52)| 被引(0)

关于认证测试模型教学的一些注记  CNKI文献

为提高认证测试模型理论的教学效果,采用概念剖析、性质挖掘、方法优化和萃取的方式,从教学角度给出消息组件、测试组件、认证测试结构一些注记,并结合具体安全协议,给出实例说明和论证,以加深学生对认证...

余磊 《淮北师范大学学报(自然科学版)》 2020年03期 期刊

关键词: 安全协议 / 形式化方法 / 认证测试模型 / 教学注记

下载(11)| 被引(0)

基于模型检测的区块链混币机制协议形式化分析与验证  CNKI文献

区块链是对传统互联网的一种变革,被称作是下一代互联网。混币作为区块链中一种密码货币,受到很大关注并广泛应用于区块链领域中。然而,因混币中第三方的存在,其面临着与传统中心化系统同样的安全问题,可信第三...

王西忠 导师:肖美华 华东交通大学 2020-06-30 硕士论文

关键词: 混币 / MIXCOIN协议 / 匿名性 / 形式化方法

下载(41)| 被引(0)

基于Event-B对存在网络攻击的安全协议的改进研究  CNKI文献

设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用...

朱俊翔 张翔 《中国电子科学研究院学报》 2020年06期 期刊

关键词: 形式化方法 / 精化理论 / 模型检测 / Event-B方法

下载(73)| 被引(1)

基于事件逻辑的移动支付协议形式化分析  CNKI文献

随着移动设备的迅速普及以及移动互联网的飞速发展,移动支付给人们的生活带来很大的便利。移动支付是实现移动电子商务交易成功的关键环节,安全的移动支付协议是保障移动支付顺利进行的基石。由于安全

杨科 导师:肖美华 华东交通大学 2019-06-30 硕士论文

关键词: 形式化方法 / 事件逻辑理论 / 移动支付协议 / 认证性

下载(8)| 被引(0)

无线体域网环境下三方认证协议形式化分析与...  CNKI文献

无线体域网(Wireless Body Area Network)是一个附着在人体上的微型网络。无线传感器加入无线体域网后,医生与患者可以实时远程监控患者的生理数据。例如心跳、血压、胰岛素水平和呼吸等,为实现医疗服务行业中的智能操...

谌佳 导师:肖美华 华东交通大学 2019-06-30 硕士论文

关键词: 无线体域网 / 三方认证协议 / 形式化方法 / 模型检测

下载(7)| 被引(0)

基于ProVerif扩展工具的附着协议关联性攻击验证  CNKI文献

安全协议是目前保证信息交互在安全条件下进行的基础。然而,安全协议从设计到部署的过程并不容易,因为安全协议通常会存在缺陷。故需要一套方案来检测安全协议安全性。目前针对...

王旭阳 导师:李晓红 天津大学 2019-05-01 硕士论文

关键词: 形式化方法 / 安全协议 / ProVerif / 关联性攻击

下载(12)| 被引(0)

基于反例的安全协议漏洞挖掘  CNKI文献

如今中国已经进入了一个互联网+的时代,各行各业都搭上了互联网的快车。安全协议作为一个关系到互联网流通的信息安全的重要因素,变得举足轻重。目前分析协议方法多种多样,模型检测作为一种...

张卫杰 导师:吴立军 电子科技大学 2019-03-26 硕士论文

关键词: 安全协议 / 模型检测 / 多反例 / 消除相似反例

下载(103)| 被引(1)

基于符号模型自动分析隐私保留的用户认证协议安全性  CNKI文献

利用大数据特征,PPMUAS协议声称实现了移动用户的隐私保护和认证,但并没有给出严格证明.故本文首先应用Applied PI演算对PPMUAS协议进行形式化描述,然后分别使用非单射一致性和Query对认证性和秘密...

孟博 唐获野... 《中南民族大学学报(自然科学版)》 2019年01期 期刊

关键词: 大数据 / 用户认证 / 安全协议 / 形式化方法

下载(48)| 被引(2)

面向大数据的保留用户隐私的身份认证协议研究  CNKI文献

随着大数据及其应用的快速发展,应用大数据挖掘和分析可以发现许多敏感信息,如:健康数据和医疗保健等用户隐私信息,因此大数据安全和隐私受到了人们的重点关注,而身份认证协议是其重要的组成部分。目前,许...

唐获野 导师:孟博 中南民族大学 2019-03-01 硕士论文

关键词: 大数据 / 用户认证 / 安全协议 / 隐私性

下载(24)| 被引(0)

一种安全协议形式化验证方法  CNKI文献

本文针对一类特殊的安全协议——基于知识的安全协议进行了讨论,并尝试通过模型检测的方法对其进行自动验证。本文使用相应的模型检测工具来验证了一个基于知识的安全协议,实验结果表明该#~

蒋欢 何青 《电子世界》 2019年02期 期刊

关键词: 安全协议 / 基于知识 / 密码技术 / 形式化验证方法

下载(174)| 被引(1)

一种改进的基于认证测试的形式化分析方法  CNKI文献

近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明...

姚萌萌 朱正超... 《信息网络安全 2019年01期 期刊

关键词: 串空间 / 认证测试 / 形式化分析方法 / 安全协议

下载(76)| 被引(0)

区块链电子交易安全关键技术研究  CNKI文献

区块链电子交易系统能够在开放的点对点网络中安全地维护一个分布式账本,得到了学术界和工业界的广泛关注。本文围绕区块链电子交易安全关键技术展开研究。针对比特币泄露用户隐私的问题,提出了一个基于环...

刘毅 导师:唐朝京 国防科技大学 2018-11-01 博士论文

关键词: 区块链 / 环签名 / 一致性 / 工作量证明

下载(248)| 被引(0)

基于模型检测的超轻量级RFID双向认证协议形式化分析...  CNKI文献

物联网的飞速发展掀起了继计算机、互联网后世界信息产业的第三次浪潮。RFID技术作为物联网的核心技术,被广泛运用于公共安全、环境监测、智能交通、智能家居等领域。然而,RFID中阅读器与标签之间的无线通信方式...

李伟 导师:肖美华 华东交通大学 2018-06-30 硕士论文

关键词: RFID双向认证协议 / RCIA / RAPP / 形式化方法

下载(252)| 被引(6)

基于事件逻辑的无线Mesh网络客户端认证协议形式  CNKI文献

安全协议保障信息资源在交互过程中的机密性、完整性及可用性。形式化方法规范密码协议安全特性,拥有较完善的理论体系及模型。定理证明是形式化方法的一种,基于严格数学理论知识和逻...

李娅楠 导师:肖美华 华东交通大学 2018-06-30 硕士论文

基于主体关联度的安全协议形式化分析方法  CNKI文献

建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断...

余磊 魏仕民... 《信息网络安全 2018年06期 期刊

关键词: 安全协议 / 认证测试 / 关联度 / 形式化分析

下载(73)| 被引(2)

基于HCPN模型检测方法的DNP3-SA协议形式化安全  CNKI文献

近年来随着智能制造、工业大数据、物联网的快速发展,传统的工业控制系统正在快速向互联互通的网络化控制系统转变,工业以太网协议也趋于开放化和标准化。作为工业网络控制系统的关键因素,工业以太网协议...

鲁晔 导师:冯涛 兰州理工大学 2018-03-15 博士论文

关键词: ICS / DNP3-SA / CPN / 形式化建模

下载(242)| 被引(2)

物联网感知层结构的分析研究  CNKI文献

物联网是继计算机、互联网和移动通信网之后世界信息产业的又一次革命性发展,近年来发展迅速,并被广泛应用于工业监控、医疗卫生和智能交通等领域,而且物联网相关研究工作日益受到世界各国政府、学术界和工业界的重视...

张文 导师:马义德 兰州大学 2018-03-01 硕士论文

关键词: 物联网 / 感知层 / 双子代数 / 线性DEDS系统

下载(273)| 被引(2)

公平交换协议的信道可信度形式化验证方法  CNKI文献

公平交换协议是一种重要的电子商务安全协议,已有的针对公平交换协议进行的形式化验证只能定性分析协议是否满足给定性质,本文提出基于信道可信度的公平交换协议形式化验...

杨晋吉 申涵瑞... 《小型微型计算机系统》 2018年02期 期刊

关键词: 形式化验证 / 信道可信度 / 公平交换协议 / 概率模型检测

下载(94)| 被引(1)

基于SPIN的安全协议的攻击者建模方法研究  CNKI文献

安全协议是确保网络安全的关键,在现有的技术条件下,已经有许多方法来分析协议安全性,但是对攻击者建模的方法不够高效,导致协议的检测和分析效率较低。形式化方法

易辉凡 万良... 《信息网络安全 2018年02期 期刊

关键词: 安全协议 / 形式化方法 / 网络安全 / 模型检测

下载(177)| 被引(7)

学术研究指数分析(近十年)详情>>

  • 发文趋势
时间的形状