当前位置：首页 > 名称
大约有464,621项符合查询结果项。（搜索耗时：0.4763秒）
为您推荐： 网络安全协议 原理 结构与应用 可证明安全算法与协议 网络协议的形式化分析与设计 工业互联网安全体系理论与方法 安全协议形式化分析与验证 列车运行安全行为建模与形式化技术研究
-
-
-
-
密码协议 基于可信任新鲜性的安全性分析
董玲，陈克非著2012 年出版345 页ISBN：9787040362503本书主要讨论如何利用系统工程思想和可信任新鲜性的方法，分析和设计密码通信协议。基于可信任的新鲜性标识符概念，提出了一个新颖的新鲜性原则，该原则指出了一种有效的、易用的密码协议安全性分析方法。利用这...
-
-
-
-
-
-
科教结合 开拓创新 钱学森与中国科大特展图录
张居中主编；汪喆副主编2013 年出版210 页ISBN：9787312032745本书将以图片的形式将钱学森为中国科大的教育和发展做出的巨大贡献呈现给读者。这些图片曾经在中国科大博物馆里展出，引起过强大的反响。以图书的形式将钱先生与中国科大特殊的情感记录并传承下去，有着非常重...
学科分类
出版时间