扫一扫
关注中图网
官方微博
>
关于“:肖美华”检索到 共2种现货商品
出版社：
售价：
-
安全协议形式化分析与验证
¥86.1(7.9折)定价:¥109.0《安全协议形式化分析与验证》是作者多年从事安全协议形式化分析与验证相关科研工作的总结，主要对两种形式化方法做了归纳：基于SPIN工具的模型检测和事件逻辑。 《安全协议形式化分析与验证》主要内容如下：介绍了安全协议形式化分析的研究现状、主要技术流派，以及协议描述语言ProDL，阐述了基于算法知识逻辑的网络安全协议模型检测分析方法，用于显式地刻画入侵者模型能力；在网络安全协议验证模型生成系统中，采用偏序归约、语法重定序以及静态分析等优化
-
我要上学了-(全4册)
¥44.0(5.5折)定价:¥80.0这本书适合即将上小学和初上小学的孩子，是一本有效的小学入学准备绘本。 帮孩子轻松度过入学焦虑期，建立入学自信,享受快乐的上学时光。 学校生活是什么样呢？怎么结交新朋友？如何安全去上学？怎样在图书馆借书？ 提前了解小学，缓解紧张情绪，树立自信心，让你的孩子爱上小学！ ...
