协议组合

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

检索结果分析

结果分析中...
选择条件：
  • 基金=博士科研启动基金x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
协议组合逻辑安全的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 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部