协议形式化

作品数：24被引量：38H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：顾翔赵保华屈玉贵赵静邱建林更多>>
相关机构：中国科学技术大学兰州理工大学南通大学天津大学更多>>
相关期刊：《计算机工程与设计》《微电子学与计算机》《桂林理工大学学报》《计算机应用与软件》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省高校自然科学研究项目博士科研启动基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于虚拟组织的网格安全协议形式化验证方法
《计算机工程与应用》2007年第24期117-122,145,共7页赵辉 李明楚 王智慧 
国家自然科学基金(the National Natural Science Foundation of China under Grant No.90412007)
虚拟组织是网格计算的基本管理单元,而协同计算组是虚拟组织形成的基础。对应于网格计算的复杂性,网格安全协议的分析与证明十分复杂。通过引入网格计算信道的概念,在传统Strand Space理论的基础上提出了一种基于虚拟组织的网格安全协...
关键词：网格协同计算形式化分析虚拟组织StrandSpace 
面向实现的协议形式化描述语言
《计算机工程与应用》2003年第19期81-83,145,共4页刘才兴 肖德琴 谢洁锐 
国家自然科学基金重点项目(编号:19931010);中国科学院研究生院信息安全国家重点实验室开放课题支持
该文在多种形式化描述语言(FDL)和时序逻辑原理的研究基础上,针对通讯协议的特点提出了一个协议模型思想,并设计了实现此模型的协议描述语言。该语言对事件有强的描述能力,并且引入了面向对象的概念,让描述更接近于现实;它扩展了对事件...
关键词：协议工程 协议描述语言 面向实现 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部