✍ Scribed by 司冠南
No coin nor oath required. For personal study only.
本选题从实体个体层面，研究了网构软件的可信实体模型，使实体具有感知环境刺激而自主演化的能力；从实体间协同的层面，研究了网构软件实体间的信任约束机制，为实体协同、合作和竞争提供了有力的评估依据；在系统层面，研究了网构软件可信性演化模型，从系统整体的角度建立起动静结合、层次分明、描述统一的网构软件可信性演化模型；最后在系统测试与可信性评估层面，研究网构软件系统可信性评估模型，建立起不但能对系统进行评估，还能为用户选择最优化实体提供帮助的可信性评估模型。
扉页
版权
前言
目录
第1 章网构软件可信性相关概念
1.1 网构软件
1.2 可信计算
1.3 软件可信性
第2 章网构软件可信性研究现状
2.1 网构软件可信性保障
2.2 网构软件可信性评估
2.3 本书的研究内容及意义
第3 章网构软件可信实体模型
3.1 网构软件实体模型
3.2 强可信智能实体模型
3.3 实体可信情况形式化描述语言
3.4 基于EDSADL 的实体自省机制
第4 章网构软件实体间信任约束机制
4.1 网构软件的信任度量及演化模型
4.2 基于契约的网构软件实体间信任关系约束机制设计
4.3 基于评估的信任衰减过程
4.4 基于网构软件的软件评测支撑平台设计及实验分析
第5 章基于分层Petri 网的网构软件可信性演化模型
5.1 网构软件结构分析
5.2 Petri 网用于网构软件可信性演化的相关研究
5.3 网构软件系统建模
5.4 网构软件系统运行中可信性演化机制
第6 章网构软件可信性评估模型
6.1 基于贝叶斯网络的网构软件可信性评估体系
6.2 可信性评估指标计算方法
6.3 网构软件可信性评估实例及结果分析
第7 章网构软件动态可信性指标评估技术
7.1 攻击模型驱动的SQL 注入渗透测试框架
7.2 基于安全目的模型的SQL注入攻击建模
7.3 SQL 注入渗透测试用例的形式化建模
第8 章结 语
参 考 文 献
📜 SIMILAR VOLUMES
<p>《评估:方法与技术(第7版)》是第一本被翻译成中文的评估教材。她诞生于1970年代的美国，经过30余年的实践和修订，至今已经出版至第7版。评估可以说明哪些项目更可能达到政策目标，同时也能说明哪些项目对社会和人民而言成本更小。评估工作者来自几乎所有的社会科学领域：经济学、心理学、社会学、政治学、人类学以及教育学。评估所使用的方法和理论也来自社会科学的各个领域。</p> <p>《评估:方法与技术(第7版)》的核心主题是为对社会项目的设计、实施和利用进行评估的各种研究活动提供一个引导。我们试图把握评估研究的全局，分析社会项目评估的设计、实施、绩效和效率。从而为准备从事评估职业或者需要了解评估
本书系统而又深入地论述了异构网络融合与可编程的相关知识和关键技术。全书共分10章，内容包括异构网络融合与可编程网络相关技术的发展，异构无线网络融合的方案，异构无线网络融合的关键技术，网络可编程的基本概念与关键技术，软件定义网络基础概念与整体架构，基于SDN的异构网络融合技术，网络虚拟化的发展背景、发展动因及主要应用，网络功能虚拟化的架构、关键问题和应用场景，异构无线网络仿真平台的相关技术与实现，SDN仿真平台的搭建，搭建异构网络管理平台。本书可供从事下一代通信网络研究的专业技术人员、管理人员，特别是网络融合和可编程及虚拟化领域的专业研究人员和工程技术人员阅读，也可作为高等院校从事相关课题研究的
本书分为一般生产性考虑，板成形零件与体积成形零件，机械加工工艺方法，重型结构件以及金属零件的主要生产性问题五章，从选材考虑，加工方法的选择，实用案例分析以及易出现的问题等方面阐述了金属零件产品设计的方法与步骤。
本书是作者多年从事软件测试技术研究及课程教学的成果和经验总结。全书共分5部分，18章。第1部分（第1~第4章）是软件测试基础，涉及软件测试的一些基本概念和基础知识；第2部分（第5~第6章）详细讲述包括静态测试及动态测试在内的软件测试基本方法与技术；第3部分（第7~第8章）详细讲述包括缺陷管理、测试过程管理在内的软件测试管理方法与技术；第4部分（第9~第14章）详细介绍包括自动化测试、可靠性测试、安全性测试、国际化与本地化测试以及面向对象测试在内的现代软件测试方法与技术；第5部分（第15~第18章）是典型应用软件测试，重点介绍Web、移动、云计算、游戏以及嵌入式等应用的软件测试方法与技术。本书几
书签已装载， 书签制作方法请找 [email protected] 完全免费 【名人推荐】 我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。 同时，本书描述了应用形式化方法的过程：从建模和规约开始，然后选择一个合适的验证技术，最后测试程序。这些知识在实践中是十分必
<p>【名人推荐】</p> <p>我第一次翻开这本书时，立刻被这本书的覆盖范围之广所深深打动，它覆盖了规约和建模、演绎验证、模型检验、进程代数、程序测试、状态与消息序列图。除了对每个方法进行了相当深入的介绍以外，本书还讨论了应当在何时选取何种方法以及在选择这些方法时所必须做出的权衡。书中结合当前工具，使用很多具有挑战性的实例来说明各种技术。我还没看见过其他任何覆盖同样内容的书籍能达到如此的深度。</p> <p>同时，本书描述了应用形式化方法的过程：从建模和规约开始，然后选择一个合适的验证技术，最后测试程序。这些知识在实践中是十分必要的，但是却很少在软件工程的课本里面出现。我确信这本书将会取