一种基于状态空间演化的网络安全协议执行验证技术  

作　　者：陈双飞[1] 

机构地区：[1]兰州商学院,甘肃兰州730020

出　　处：《广西质量监督导报》2007年第5期92-93,共2页

摘　　要：文章提出一种基于状态空间演化的网络安全协议执行验证技术,实现对全局安全协议执行的验证。经分析表明,该技术可以做到及时发现入侵者的攻击,阻止入侵者欺骗参与者或盗取秘密信息。

关 键 词：进程状态空间 演化 安全协议验证 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]