协议组合

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
协议组合逻辑安全的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的业务流程建模是当前研究的一个新方向.业务协议是对参与业务过程的业务步骤的描述.本文将多个参与者参与的业务步骤抽象为参与者之间的交互,采用基于交互的协议对业务流程建模,提出了一个业务协议组合代数,构造了一...
关键词：业务协议 协议组合 协议代数 协议相似性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部