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

	一种基于状态空间演化的网络安全协议执行验证技术
	陈双飞
	2007-10-28
发表期刊	广西质量监督导报
期号	5 页码:92-93
摘要	文章提出一种基于状态空间演化的网络安全协议执行验证技术,实现对全局安全协议执行的验证。经分析表明,该技术可以做到及时发现入侵者的攻击,阻止入侵者欺骗参与者或盗取秘密信息。
关键词	进程状态空间演化安全协议验证
URL	查看原文
ISSN	1009-6310
语种	中文
文献类型	期刊论文
条目标识符	http://ir.lzufe.edu.cn/handle/39EH0E1M/5600
专题	信息工程与人工智能学院
作者单位	兰州商学院甘肃兰州730020
第一作者单位	兰州财经大学
推荐引用方式 GB/T 7714	陈双飞. 一种基于状态空间演化的网络安全协议执行验证技术[J]. 广西质量监督导报,2007(5):92-93.
APA	陈双飞.(2007).一种基于状态空间演化的网络安全协议执行验证技术.广西质量监督导报(5),92-93.
MLA	陈双飞."一种基于状态空间演化的网络安全协议执行验证技术".广西质量监督导报 .5(2007):92-93.