搜索筛选:
搜索耗时0.8212秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：陈道喜, 张广泉, 陈冬火,,
来源：微电子学与计算机 年份：2008
NSPK协议是一个经典的认证密码协议．通过建立该协议的Promela模型，采用线性时序逻辑描述模型性质，并用模型检测工具Spin进行验证，进而生成入侵者的攻击序列．...
[期刊论文] 作者：陈道喜,陈冬火,张广泉,,
来源：苏州大学学报(自然科学版) 年份：2008
网络协议簇中，传输控制协议TCP是最重要的协议之一，提供面向连接的可靠传输服务．采用Promela描述TCP建立连接和可靠数据传输，并用模型检测工具Spin，验证TCP三次握手协议的安全性与......
[期刊论文] 作者：陈道喜,陈冬火,张广泉,,
来源：苏州大学学报(工科版) 年份：2008
密码协议安全性的分析是网络安全研究领域的一个主要内容,研究人员提出多种形式化方法来分析这个问题。模型检测工具Spin是一个广泛验证并发系统性质的工具,可用来分析密码协...
[期刊论文] 作者：李平福,陈冬火,张广泉,
来源：苏州大学学报：工科版 年份：2008
针对面向对象系统，定义了一种基于时序逻辑的形式化规约语言。它不仅支持对面向对象思想中重要概念，如类、对象、继承等的描述，而且支持对面向对象系统的时序属性的描述，如类的状......
[期刊论文] 作者：陈冬火,王林章,崔家林,
来源：东华大学学报：英文版 年份：2008
古典逻辑不能被用来有效地与矛盾关于并发的系统推理(矛盾经常发生特别在发展的早阶段，当大、复杂的并发的系统被开发时) 。在这份报纸，甚至在历久不渝的模型不是可得到的的地......
相关搜索：
