协议组合

作品数：12被引量：38H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：沈苏彬冯涛马建峰杜宗霞怀进鹏更多>>
相关机构：兰州理工大学南京邮电学院南京邮电大学艾利森电话股份有限公司更多>>
相关期刊：《信息网络安全》《计算机工程与设计》《通信学报》《计算机应用研究》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划甘肃省自然科学基金博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于HTTP协议组合的隐蔽信道构建方法研究被引量：7
《信息网络安全》2020年第6期57-64,共8页陈骋 罗森林 吴倩 杨鹏 
国家242信息安全计划[2017A149]。
针对现有的存储型隐蔽信道隐蔽性较低,时间型隐蔽信道误码率高且传输速率较低的问题,文章提出一种基于HTTP协议组合的隐蔽信道构建方法。该方法通过模拟浏览器应用发送HTTP请求,将HTTP请求动态分配在不同浏览器上,利用数学组合的方式嵌...
关键词：隐蔽信道 数学组合编码 HTTP协议 
协议组合逻辑安全的WMN认证密钥协商方案被引量：1
《计算机应用研究》2017年第8期2473-2477,共5页张冰涛 王小鹏 王履程 
国家自然科学基金资助项目(64261029;61461025);兰州交通大学青年基金资助项目(2016004)
IEEE P802.11 sTM/D1.01中EMSA认证协议是无线网状网络(WSN)安全的重要保证。基于协议组合逻辑形式化分析了EMSA协议的安全性,发现EMSA协议存在密钥泄露伪装攻击。针对该安全威胁,运用协议演绎系统提出了一种新的WSN安全认证密钥协商方...
关键词：无线网状网络安全 协议组合逻辑 协议演绎系统 密钥泄露伪装攻击 
基于原语自动生成的安全协议组合设计策略及应用研究被引量：1
《计算机工程与设计》2014年第4期1207-1213,共7页李晓乐 翁鸣 罗应机 文英 
广西高等学校科学技术研究基金项目(2013YB215);广西财经学院科研基金项目(2013B047);广西财经学院实验教学中心经济与管理实验教学示范中心实验开发基金项目(2013syzxxm07)
为提高复合协议设计的效率和降低组合设计过程的复杂度,构建了一种基于原语自动生成的安全协议组合设计新策略。利用自动生成工具高效地设计满足安全需求的正确原语;根据新的可组合元素附加规则,修改消息项结构,添加可组合元素,使原语...
关键词：原语 自动生成 可组合元素 组合设计 规则 
协议组合逻辑安全的Ad Hoc网络路由协议安全验证方法被引量：2
《小型微型计算机系统》2013年第12期2794-2799,共6页郭显 冯涛 袁占亭 
国家自然科学基金项目(60972078)资助;甘肃省自然科学基金项目(1014RJZA005)资助
扩展协议组合逻辑PCL,提出了建模移动Ad Hoc网络和分析路由协议安全性的符号模型PCL-RP模型.PCL-RP模型中,为模型化网络节点移动和多跳无线广播通信特征,引入了线程位置和线程位置相邻概念,定义了广播规约规则.PCLRP模型中提出了运行迹...
关键词：移动AD HOC网络 协议组合逻辑 安全路由协议 动态源路由协议 
Web环境下基于协议组合代数的业务流程整合方法被引量：1
《小型微型计算机系统》2013年第1期41-45,共5页张抗抗 徐如志 杨峰 赵志崑 李庆忠 
国家自然科学基金项目(90818001;60603070;71171122)资助;山东省自然科学基金项目(ZR2011FL012;Y2006G29;Y2007G24)资助;教育部留学归国人员科研启动基金项目资助
采用协议对基于Web的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一...
关键词：业务协议 协议组合 协议代数 协议相似性 
协议组合逻辑安全的4G无线网络接入认证方案被引量：9
《通信学报》2012年第4期77-84,共8页王丽丽 冯涛 马建峰 
国家高技术研究发展计划("863"计划)基金资助项目(2007AA01Z429);国家自然科学基金资助项目(60972078);甘肃省高等学校基本科研业务费基金资助项目(0914ZTB186);甘肃省自然科学基金资助项目(2007GS04823);兰州理工大学博士基金资助项目(BS14200901);网络安全与密码技术福建省高校重点实验室开放课题基金资助项目(09A006)~~
针对4G无线网络中移动终端的接入认证问题,基于自证实公钥系统设计了新的安全接入认证方案,并运用协议演绎系统演示了该方案形成的过程和步骤,用协议组合逻辑对该方案的安全属性进行了形式化证明。通过安全性证明和综合分析,表明该方案...
关键词：自证实公钥 协议组合逻辑 协议演绎系统 认证协议 4G 
一种支持流程整合的业务协议组合代数被引量：1
《计算机工程》2011年第20期42-45,共4页张抗抗 徐如志 杨峰 崔涛 
国家自然科学基金资助项目(60603070);山东省自然科学基金资助项目(Y2006G29;Y2007G24);山东财政学院博士科研启动基金资助项目
针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相...
关键词：交互 业务协议 协议组合 协议代数 协议相似性 
协议组合逻辑安全的WiMAX无线网络认证协议被引量：6
《电子与信息学报》2010年第9期2106-2111,共6页冯涛 张子彬 马建峰 
国家高技术研究发展计划(863)(2007AA01Z429);国家自然科学基金(60702059;60972078);甘肃省自然科学基金(2007GS04823);网络安全与密码技术福建省高校重点实验室开放课题(09A006);兰州理工大学博士基金(BS14200901)资助课题
国际标准IEEE802.16e-2005中PKMv2协议的安全性是WiMAX无线网络安全的重要保证。论文基于协议组合逻辑(PCL)分析了PKMv2协议中认证协议的安全性,发现PKMv2安全认证协议存在交错攻击,在此基础上基于协议演绎系统(PDS)提出了一种新的WiMA...
关键词：无线网络 认证协议 协议演绎系统 协议组合逻辑 WIMAX 
一个基于服务层叠网的分层服务组合框架被引量：12
《软件学报》2007年第12期2967-2979,共13页李扬 怀进鹏 郭慧鹏 杜宗霞 
Supposed by the National High-Tech Research and Development Plan of China under Grant Nos.2007AA010301;2006AA01Z19A (国家高技术研究发展计划(863));the National Basic Research Program of China under Grant No.2005CB321803(国家重点基础研究发展计划(973));the National Natural Science Funds for Distinguished Young Scholar of China under Grant No.60525209(国家杰出青年基金)
随着Internet上Web服务数量的不断增长,这些服务能够互联形成一个应用层的逻辑网络——服务层叠网(service overlay network,简称SON).基于SON,通过服务的组合提供增值服务,是满足用户动态、多变的功能及非功能需求的一种有效的方法.但...
关键词：服务组合 服务层叠网 协议 协议组合 用户可编程 
一种基于协议组合的协议动态实现模型
《南京邮电大学学报（自然科学版）》2007年第3期12-17,共6页汪彪 沈苏彬 
国家自然科学基金(60273091)资助项目
在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型。基...
关键词：协议组合 协议句法 动态扩展 实现模型 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部