当前位置：首页 > 名称
大约有926,455项符合查询结果项。（搜索耗时：0.8757秒）
为您推荐： 网络协议 分析 设计与仿真 正版机器学习周志华著人工智能及其应用零基础入门书电脑编程程序设计数据分析神经网络与深度 安全协议形式化分析与验证 正版绩效考核与薪酬激励精细化设计必备全书企业家协议字典工具包电子版 艺术符号学 形式的意义分析 title趣谈网络协议 博文视点出品
-
网络协议的形式化分析与设计
古天龙，蔡国永著2003 年出版367 页ISBN：7505386468本书就网络协议分析与设计中的形式化方法与技术展开讨论和介绍，主要内容包括：网络协议及开发概论；网络协议的形式化模型；网络协议的形式描述语言；网络协议的形式化验证；网络协议的形式化综合；网络协议的测试；......
-
-
网络安全协议的形式化分析与验证
张爱新，李建华著2010 年出版214 页ISBN：9787111297260本书概述了形式化技术在网络安全协议分析、验证中的主要应用原理及现状；在此基础上详细地叙述了网络安全协议。
-
电子商务网络协议的形式化分析理论与应用
谢晓尧著2008 年出版146 页ISBN：7030200322本书叙述了与信息安全有密切联系的基于网络电子商务协议的形式化分析理论与实际应用。具体内容包括：电子商务协议的形式化逻辑分析方法、通用形式化Petri网模型分析方法、有穷自动机模型检测分析方法、安全...
-
-
网络与信息安全前沿技术丛书 安全协议设计与分析
张文政等编著2015 年出版202 页ISBN：9787118103397本书系统介绍了安全协议分析的理论方法，给出了安全协议目前的最新结果，如”安全协议工程原则”，”可证明安全协议分析方法”及”RFID安全分析技术”等，这些内容给出了目前可用于安全协议分析的国际前沿方法。本...
-
-
Linux网络体系结构 Linux内核中网络协议的设计与实现
（美）威尔（Wehrle，K.）等著；汪青青，卢祖英译2006 年出版489 页ISBN：7302130191本书介绍了在Linux内核中实现网络功能时所需要的基础知识，同时也介绍了通信系统的设计。
-
-
学科分类
出版时间