梅翀
- 作品数:4 被引量:4H指数:1
- 供职机构:贵州大学更多>>
- 相关领域:自动化与计算机技术更多>>
- 安全协议扩展Petri网模型及检测被引量:3
- 2007年
- 协议安全性分析是网络安全的一个难题,运用形式方法对协议进行安全分析和检测,找出安全漏洞仍是该领域的研究热点。本文提出了一种新的基于扩展Petri网的安全协议建模方法,并且使用该方法对经典协议做了建摸、分析和检测,构造了攻击模型,证明了这种方法的有效性。
- 梅翀孟传良张成宇
- 关键词:安全协议PETRI网
- 基于粗糙集多传感器和免疫的IDS研究
- 2007年
- 本文设计并实现了基于粗糙集多传感器和免疫的入侵检测系统新模型,分析了基于粗糙集理论的规则生成算法,利用多传感器提高了入侵检测系统的鲁棒性。给出了基于人工免疫技术的算法描述。通过实验证明这个新模型能够较大的降低漏报率和误报率,同时具备很好的对已知和未知攻击模式的防御能力。
- 张成宇任广伟梅翀高亮韩义亭
- 关键词:粗糙集理论多传感器人工免疫入侵检测系统
- 基于Petri网的安全协议分析与检测方法的研究
- 随着Internet技术持续突飞猛进地发展,网络上的信息安全问题日益突出。特别是电子商务、数字货币和网络银行等新业务的深入开展,信息的保密性、完整性和可用性等安全问题成了关键之所在。安全协议,又称密码协议,是以密码学为基...
- 梅翀
- 关键词:安全协议PETRI网
- 文献传递
- 基于Petri网的考试系统智能出卷的研究
- 2006年
- 一般的网络考试系统是从题库中随机选题组卷,容易造成考卷难度不一影响考试的公平性.提出了使用petri网模型,采用启发式随机替换算法来控制考试系统出题难度的解决方案.
- 梅翀孟传良
- 关键词:PETRINETS考试系统