串空间理论在网络安全协议形式化分析中应用

---

Autoria(s): 孙海波; 林东岱; 黄寄洪

Data(s)	2003
Identificador	http://ir.iscas.ac.cn/handle/311060/3386 http://www.irgrid.ac.cn/handle/1471x/67066
Fonte	孙海波; 林东岱; 黄寄洪.串空间理论在网络安全协议形式化分析中应用,大连理工大学学报,2003,43(z1):40306
Palavras-Chave	#串空间 #安全协议 #网络
Tipo	期刊论文