串空间论文

论文摘要计算机网络的高速发展和网络新应用的不断涌现给网络安全带来了很大的冲击,网络安全成为新的信息安全的热点;安全协议作为计算机网络安全体系的重要组成部分,也就变得越来越重要。...

论文摘要安全协议提供安全服务，是保证网络安全的基础。近年来，安全协议越来越多地用于保护因特网上传输的各种交易，保护针对计算机系统的访问。由于验证安全协议自身的安全性是十分困难的...

论文题目:AdHoc网络路由协议安全性分析方法研究论文类型:博士论文论文专业:通信与信息系统作者:王英龙导师:高振明关键词:无线自组网,路由协议,形式化方法,逻辑,串空间,演算...