大拱桥--暨南大学学生门户 » 图书馆 » 通信规程、通信协议 » 安全协议的建模与分析 : CSP方式
名称 安全协议的建模与分析 : CSP方式
索引号 TN915.04/200515
分类号 TN915.04
TN915.04(通信规程、通信协议)
TN915.0(一般性问题)
TN915(通信网)
TN91(通信)
TN(无线电电子学、电信技术)
T(工业技术)
作者 瑞安、 P.、张玉清、莫燕、吴建耀、
出版社 北京 : 机械工业出版社, 2005
ISBN 7-111-15721-4
页数 235页 : 图 ; 26cm
价格 CNY29.00
标签 eee、安全协议分析、安全协议的建模与分析：csp方式、形式化语言、
简介
注解 据英国Pearson Education Limited 2001年英文版译出 由英国Pearson Education (培生教育出版集团) 授权机械工业出版社出版 责任者规范汉译姓: 瑞安 有书目 (第221-225页)