搜索筛选:
搜索耗时0.0910秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：顾明甲,
来源：江南大学 年份：2009
在因特网技术飞速发展的今天，信息安全问题已经成为日益突出的问题。安全协议的出现虽然在很大程度上提高了网络信息传输的安全性，但同时因为设计上的缺陷性，安全协议也存在着很......
[学位论文] 作者：顾明甲,
来源：江南大学 年份：2018
...
[期刊论文] 作者：顾明甲,张伟,周青,,
来源：微计算机信息 年份：2010
安全协议是实现网络安全的关键,如何验证安全协议的安全性是一个非常重要的工作。论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分...
[期刊论文] 作者：卞直荣,张伟,顾明甲,
来源：微计算机信息 年份：2010
作为一种重要的工业标准网络安全协议,建立IPSec安全策略控制系统需要一个正确的建模工具。相比较其它的建模语言,着色Petri网（CPN）提供了一种比较清晰的关于系统状态和行为的...
[期刊论文] 作者：占东生,张伟,顾明甲,
来源：微计算机信息 年份：2010
高级网的引入，大大增强了petri网的描述能力，但也导致了重复开发相似的仿真工具，造成了极大的浪费，不利于学术界的整体发展。有色petri网的仿真工具CPNTools支持强大的元语言（ML），具......
相关搜索：
