-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=安全协议设计 "
共 条 记 录，以下是1-6

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
分析和设计安全协议的新逻辑
《铁道学报》2006年第3期71-77,共7页缪祥华 何大可 鲁荣波 
现有的逻辑,有的只可用于分析安全协议,而有的则只可用于设计安全协议。本文提出一种分析和设计安全协议的新逻辑。该逻辑不但可以用来分析安全协议,而且可以用来设计安全协议。通过运用该逻辑,使安全协议的设计和分析可以在同一种逻辑...
关键词：逻辑 安全协议分析 安全协议设计 
基于Event-B对存在网络攻击的安全协议的改进研究被引量：1
《中国电子科学研究院学报》2020年第6期530-538,共9页朱俊翔 张翔 
国家自然科学基金(61602177);上海市自然科学基金(18ZR1411600)。
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进行合理的改进也并不容易。本研究提出了一个基于Event-B方法的通用框架,用来指导安全协议的修改,并验证...
关键词：形式化方法 精化理论 模型检测 Event-B方法 安全协议设计 网络攻击 
网络安全协议在计算机通信技术当中的作用与意义被引量：19
《计算机光盘软件与应用》2014年第12期186-186,188,共2页秦俊波 
网络安全协议是营造网络安全环境的基础,是构建安全网络的关键技术。设计并保证网络安全协议的安全性和正确性能够从基础上保证网络安全,避免因网络安全等级不够而导致网络数据信息丢失或文件损坏等信息泄露问题。在计算机网络应用中,...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
网络安全协议在计算机通信技术当中的作用被引量：4
《数码世界》2017年第10期216-216,共1页杨领 
随着计算机网络的快速发展,人们生活的方方面面都和网络有联系,网络为人们提供便利的同时也存在一些网络安全问题,例如网络诈骗,窃取网络数据等,因此网络安全问题越来越被人们所重视。网络安全的基础是网络安全协议,这项协议是人们通过...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
基于Event-B方法的安全协议设计、建模与验证被引量：3
《软件学报》2018年第11期3400-3411,共12页李梦君 潘国腾 欧国东 
国家自然科学基金(61672525);中国科学院信息工程研究所信息安全国家重点实验室开放课题(2016-MS-21)~~
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验证安全协议源程序的正确性.在介绍Event-B方法和验证工具Isabella/HOL、VCC的基础上,综述了基于Event-B...
关键词：安全协议设计 安全协议建模与验证 精化 Event-B方法 
应用组合方法设计普适计算网络安全协议被引量：1
《计算机应用研究》2009年第3期1073-1075,1108,共4页杨帆 李彤 曹奇英 
国家教育部科学技术研究重点资助项目(104086)
给出一种新的安全协议的设计方法——组合设计方法,首先分别实现各个安全目标,然后将它们组合为一个新的安全协议。组合方法设计安全协议具有易于实现、易于验证等优点。给出组合规则,使用组合方法实现了普适计算环境下认证协议及密钥...
关键词：普适计算 安全协议设计 组合方法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部