搜索到112篇“ 协议组合“的相关文章
- 一种网络协议组合形式化验证方法
- 本发明提出一种网络协议组合形式化验证方法，属于形式化验证技术领域。所述方法在网络协议设计阶段，针对网络协议所需要的信息安全性、功能安全性和密码学可靠性进行有效形式化验证，使得网络协议代码在实现前即被检测出潜在安全缺陷，且...
- 张京京 张龙 马琳茹 黄志坚 熊欢 张建宇
- 一种跨多种协议和协议组合的自动化加密流量分析方法
- 本发明公开了一种跨多种协议和协议组合的自动化加密流量分析方法，步骤1，将待分类的加密网络应用程序的网络流量进行预处理，得到网络流量数据包；步骤2，获得当前网络流量数据包的语义表示，进行当前网络流量数据包的特征提取；步骤3...
- 孙林檀张虎郝景昌李晓红陈森李慧芹张烁王蕾
- 基于HTTP协议组合的隐蔽信道构建方法研究被引量：7
- 2020年
- 针对现有的存储型隐蔽信道隐蔽性较低,时间型隐蔽信道误码率高且传输速率较低的问题,文章提出一种基于HTTP协议组合的隐蔽信道构建方法。该方法通过模拟浏览器应用发送HTTP请求,将HTTP请求动态分配在不同浏览器上,利用数学组合的方式嵌入隐蔽信息,且对访问对象、数据包时间间隔和数据包长度进行动态调整,提高了信道的隐蔽性。同时,信道基于TCP协议内部的可靠传输使其不受网络抖动的影响,从而保证信道的可靠性。实验结果表明,该方法能够抵御基于应用签名的检测法、协议指纹检测法及组合模型检测法,具有较强的隐蔽性;能够根据应用场景调整隐蔽性强度与信道容量的平衡。
- 陈骋罗森林吴倩杨鹏
- 关键词：隐蔽信道HTTP协议
- 安全协议组合设计策略研究
- 设计安全协议是构建安全系统中最复杂、最容易出错的过程之一，手动设计安全协议十分困难且出错率高，同时要求较高的专业度，本研究的目的是运用组合方法简单高效地自动设计安全协议，类似模块化开发软件，独立设计各个子协议，通过严格选...
- 林荣琪秦
- 关键词：安全协议免疫遗传算法
- 文献传递
- 协议组合逻辑安全的WMN认证密钥协商方案被引量：1
- 2017年
- IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方案,并使用协议组合逻辑对新方案进行了形式化的安全性证明分析。最终表明新协议相对于EMSA协议更加安全,具有前向安全性,可抵御密钥泄露伪装攻击,更适合WSN应用环境。
- 张冰涛王小鹏王履程
- 协议组合逻辑在实例化空间模型中的语义解释
- 2016年
- 安全协议的验证是个不可判问题.为了对实例化空间逻辑ISL的语义表达能力给出理论上的衡量与评价,选择另一种实用的协议组合逻辑PCL,分析了ISL和PCL之间的关系.在此基础上,将PCL的索状空间语义模型转换为ISL的实例化空间语义模型,在实例化空间下对PCL的主要公式、定理、推导规则做了语义解释.研究表明,实例化空间能够完全表示PCL的语义,且ISL的语义表达能力强于PCL.新的模型解释使PCL更易于扩展,且使得用PCL理论验证的协议能够利用ISL的自动化验证工具SPV进行分析.
- 肖茵茵苏开乐
- 关键词：安全协议验证语义解释
- 基于原语自动生成的安全协议组合设计策略及应用研究被引量：1
- 2014年
- 为提高复合协议设计的效率和降低组合设计过程的复杂度,构建了一种基于原语自动生成的安全协议组合设计新策略。利用自动生成工具高效地设计满足安全需求的正确原语;根据新的可组合元素附加规则,修改消息项结构,添加可组合元素,使原语具备可组合性,降低后续组合设计过程的复杂度;根据新的组合设计规则,从可组合的简单原语出发构建复合协议。进行了应用研究,分别设计出了非对称密钥体制下双向认证协议和对称密钥体制下带有可信第三方的双向认证且密钥建立协议。实践分析结果表明,该策略同时具备自动设计正确高效以及组合设计简便易行的优点,是一种较为可行的、适用于复杂安全协议设计的新策略。
- 李晓乐翁鸣罗应机文英
- 关键词：原语自动生成
- 协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法被引量：2
- 2013年
- 扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹概念,在运行迹上定义了谓词公式和模态公式的语义.分析协议安全属性时,PCL-RP模型证明系统中的公理和规则保证无需明确推理攻击者的行为,这种方法能够简化分析过程,提高安全分析的可信度.另外,提出了路由协议安全目标,设计了基于动态源路由协议DSR的安全路由协议LSDSR.最后,在PCL-RP模型中描述并分析了LSDSR的安全性,证明LSDSR能够满足安全目标.
- 郭显冯涛袁占亭
- 关键词：移动ADHOC网络安全路由协议动态源路由协议
- Web环境下基于协议组合代数的业务流程整合方法被引量：1
- 2013年
- 采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一组协议组合算子,并证明了该代数的一些相关性质;本文还对协议的相似性进行了分析,为替换协议的选择奠定了基础.文章还通过一个流程组合实例说明了基于协议组合代数的业务流程整合过程.
- 张抗抗徐如志杨峰赵志崑李庆忠
- 关键词：协议组合
- 基于协议组合机制的组合服务优化方法和装置
- 本发明公开了一种基于协议组合机制的组合服务优化方法和装置。该方法包括：获取组合服务执行过程中，不同用户对组合服务的访问信息，以及服务间的交互和依赖关系；基于获取的用户对组合服务的访问信息、服务间的交互和依赖关系以及流程优...
- 郭慧鹏怀进鹏刘旭东杜宗霞李牧
- 文献传递
相关作者
- 沈苏彬
- 作品数：242被引量：1,474H指数：14
- 供职机构：南京邮电大学
- 研究主题：计算机网络 区块链 物联网 合约 去中心化
- 冯涛
- 作品数：161被引量：589H指数：13
- 供职机构：兰州理工大学
- 研究主题：加密 身份 隐私保护 车联网 中间人攻击
- 怀进鹏
- 作品数：334被引量：1,849H指数：28
- 供职机构：中国科学院
- 研究主题：虚拟机 WEB服务 网格环境 数据库 网格
- 郭慧鹏
- 作品数：14被引量：41H指数：2
- 供职机构：北京航空航天大学
- 研究主题：自适应控制 协议组合 冰晶石熔体 交流阻抗谱 电导率
- 张抗抗
- 作品数：7被引量：3H指数：1
- 供职机构：山东财经大学计算机科学与技术学院
- 研究主题：协议组合 代数 WEB环境 分布式构件库 关联网络
