软件行为学PDF电子书下载

目录 1

前言 1

第1部分 软件行为学概论 1

第1章 软件行为学概述 3

1.1　什么是软件行为学 4

1.2　为什么要研究软件行为学 4

1.3　软件行为学的研究内容 5

1.4　软件行为学的研究方法 8

1.5　如何阅读《软件行为学》这本书 11

习题 12

第2章 软件行为基本概念 13

2.1 软件主体、客体、活性客体与行为 13

2.1.1 主体 13

2.1.2　客体 15

2.1.3　活性伴侣客体：代理与客体的捆绑 16

2.1.4 主体对客体的行为 17

2.2　计算机的行为 21

2.3　操作系统的行为 22

2.5　应用系统主体在操作系统上的行为 23

2.4　用户在操作系统上的行为 23

2.6　应用系统主体在网络系统上的行为 24

2.7　描述软件行为的方法 25

2.8　软件行为形式定义 32

2.8.1　类型程序设计 33

2.8.2　范畴论概述 36

2.8.3　构造类别代数范畴 37

2.8.4　类型表达式定义 61

2.8.5　类型表达式与软件自动生成 63

2.8.6　港口类型与港口行为定义 71

2.8.7　进程类型与进程行为定义 74

2.8.8　代理的类型与代理行为定义 76

2.8.9　代理网络类型定义 79

2.8.10　行为语言和语义形式描述及语义解释函数 80

习题 84

第3章 软件行为状态和行为生存期 87

3.1 软件行为状态概述 87

3.3　执行状态和激活行为 88

3.4 中断状态与中断行为 88

3.2 开始状态和开始行为 88

3.5 中断恢复执行 89

3.6 异常状态和异常处理行为 89

3.7　终止状态和终止行为 89

3.8　行为输入和输入行为 89

3.9　行为输出和输出行为 89

3.10　移动状态和移动行为 90

3.11　软件行为生存期 91

3.12　软件行为状态演算 91

习题 92

第4章　软件行为特性 93

4.1 行为的识别特性 93

4.2　软件行为的对偶性：行为与逆行为 94

4.3　行为保密性 95

4.4　行为完整性 95

4.5　行为可信性 96

4.6　行为有效性 97

4.7　行为连续性 99

4.8 内容可信性 99

4.10　内容完整性 100

4.9 内容保密性 100

习题 101

第5章　软件群体结构及其行为 103

5.1 群体行为概述 103

5.1.1 人-代理群体 103

5.1.2　代理群体概述 108

5.2　群体行为的协同概述 109

5.2.1 群体协同机制 110

5.2.2　群体逻辑组网拓扑结构 110

5.2.3　群体协同特性 111

5.2.4　代理行为协同的实现基础 113

5.2.5　代理行为协同实现分类 114

5.3 群体行为协同与类型定义 115

5.3.1 实例协同类型 120

5.4　群体行为的功能与类型定义 121

5.4.1　功能应用 122

5.4.2　业务抽象数据类型 125

5.4.3　实例业务类型 125

5.5　群体的组织结构与类型定义 127

5.6　群体代理系统结构与类型定义 128

5.7　群体软件行为状态 130

5.7.1　协同状态 131

5.7.2 功能状态 132

5.7.3　群体行为状态与环境 133

5.7.4 行为树与行为信息基（AIB） 135

5.7.5　多代理行为语言描述 152

5.8 群体的组织模式与组织行为模式 152

5.8.1 群体中的个体分工 152

5.8.2　群体的组织结构模式及其类型定义 159

5.8.3　相同的群体协同关系实现不同的群体功能的抽象 166

5.8.4 不同的群体协同关系实现相同的群体功能行为的分级 167

5.8.5 群体组织中规范代理行为的语义解释 168

5.9　群体软件行为能力的扩展 184

5.9.1 群体软件行为能力的扩展概述 185

5.9.2 高智能应用与管理能力系统的分析能力 186

5.9.3　系统范围的预警能力 187

5.9.4　系统的主动服务能力 190

5.9.5 系统的强生存能力 192

习题 192

第2部分　软件行为模式 195

第6章 行为模式概论 197

6.1 什么是行为模式 197

6.2 行为（模式）表达式 198

6.3　行为模式类型指称 202

6.3.1 多行为模式类型指称概述 202

6.3.2　多行为协同模式类型指称 207

6.4　行为模式逻辑语义 208

6.4.1 多行为模式逻辑语义概述 208

6.4.2　多行为协同的逻辑语义描述 210

习题 211

第7章　伴侣代理行为模式 213

7.1 伴侣代理行为概述 213

7.2　伴侣代理行为分类 213

7.2.1 主体伴侣代理 213

7.2.2　客体伴侣代理 217

7.3　信息（客体）伴侣代理处理、传输体系 220

7.3.1　信息（客体）伴侣代理 221

7.3.2　信道伴侣代理 221

7.3.3　系统伴侣代理 223

7.4.1 伴侣代理行为模式类型指称 225

7.4　伴侣代理行为语义解释 225

7.4.2　伴侣代理行为逻辑语义描述 227

习题 227

第8章　软件行为控制 229

8.1　传统访问控制理论 229

8.1.1　传统访问控制理论概述 229

8.1.2　自主访问控制的行为 234

8.1.3　强制访问控制的行为 236

8.1.4　强制行为控制（MBC）的行为 239

8.1.5　计算机可信计算基（TCB） 242

8.1.6　访问控制组合理论与方法 254

8.1.7　传统访问控制理论TCB模型的代理化扩展 259

8.2　可信计算平台（TCP）控制理论与方法 261

8.3　行为控制的代理体系结构模式 265

8.3.1 行为可信控制理论与方法 265

8.3.2　行为控制的代理组织模式 268

8.3.3 多行为控制模式类型指称 270

8.3.4 多行为控制的逻辑语义描述 272

8.3.5　规范安全防护代理行为信息基（SEC_AIB）行为安全语义解释 272

8.4.1　数据保密性方法 279

8.4　行为控制方案实例 279

8.4.2　数据完整性方法 280

8.4.3　系统完整性控制方法 281

8.4.4　行为保密性控制方法 282

8.4.5　行为完整性控制方法 282

习题 283

第9章　软件行为监管 285

9.1 软件行为监管概述 285

9.2　行为监管概念与定义 285

9.3.2　行为条件基础监管 287

9.3.1 行为的监管分类概述 287

9.3　行为的监管分类 287

9.3.3　行为属性分类监管 289

9.3.4　行为标题综合监管 295

9.4　行为监管形式定义 301

9.4.1 监管组织模式 301

9.4.2　多行为监管模式类型指称 302

9.4.3 多行为监管的逻辑语义描述 304

9.4.4　规范监管代理行为信息基（Superv_AIB）与语义解释 304

9.5　应用系统行为监管的实施方法：完全监管行为信息基（F_Superv_AIB） 313

9.6　技术风险行为监管的实施方法：不完全监管行为信息基（P_Superv_AIB） 316

9.7.1 行为监管技术 320

9.7　行为监管技术 320

9.7.2　内容监管技术 321

9.7.3　监管代理技术 322

9.7.4 监管代理服务技术 322

9.7.5　监管代理平台技术 322

9.8.2　行为可信控制服务 323

9.8.4　行为完整性监管服务 323

9.8.3　行为保密性服务 323

9.8.1 行为可信认证服务 323

9.8 风险监管服务 323

9.8.5　行为可信性监管服务 324

9.8.6　行为有效性监管服务 324

9.8.7 内容保密性、完整性和可信性监管服务 324

习题 324

第10章 软件行为可信认证 327

10.1　传统的身份认证理论 327

10.1.1　现实世界的认证 327

10.1.2　网络虚拟世界的认证 327

10.1.4 网络世界的认证基础是实名制 328

10.1.3 网络虚拟世界的软件身份识别 328

10.1.5　物理世界可信性传递的损失 329

10.1.6　网络虚拟世界可信性传递的损失 329

10.2　软件行为可信认证概念 330

10.2.1　软件可信概念 330

10.2.2　软件行为监管是行为可信认证的基础 332

10.3 身份与行为的可信认证理论方法 334

10.3.1 身份与行为的可信认证定义 334

10.3.3 多行为认证模式类型指称 337

10.3.2　可信认证组织模式 337

10.3.4　多行为认证的逻辑语义描述 339

10.3.5　规范认证代理行为信息基（CA_AIB）与语义解释 339

10.4　身份与行为的可信认证系统 348

10.4.1　传统身份认证系统 348

10.4.2　具有统一认证监管的多独立认证体系 349

10.5　身份与行为可信认证技术与服务 350

10.5.1 身份与行为可信认证技术概述 350

10.5.2 主体身份认证技术 351

习题 352

10.5.5 身份与行为可信认证服务 352

10.5.3　客体身份认证技术 352

10.5.4　行为可信认证技术 352

第11章　软件行为对抗 355

11.1　行为对抗概论 355

11.1.1 网络行为对抗任务 355

11.1.2　网络行为对抗目标 356

11.1.3 网络行为对抗战场 356

11.1.4 网络行为对抗态度 357

11.1.5 网络行为对抗级别划分 358

11.2　网络对抗模式与分类 362

11.1.6　网络行为对抗是理论、系统、技术、战术的对抗 362

11.3　代理行为对抗基本概念 363

11.3.1 行为对抗的基本概念与模式 363

11.3.2　行为对抗组织 364

11.3.3　代理行为对抗模式 364

11.3.4　多代理生存性对抗 365

11.3.5　多代理控制性对抗 367

11.3.6　多代理行为特性的对抗 367

11.4.2　行为对抗组织模式 368

11.4.1　行为对抗形式定义 368

11.4　代理行为对抗形式描述 368

11.4.3　多行为对抗模式类型指称 371

11.4.4　多行为对抗的逻辑语义描述 372

11.4.5　行为对抗语言 373

11.4.6　多代理行为对抗信息基（IW_AIB） 374

11.5　行为对抗技术 385

11.5.1　代理生存与消除对手技术 386

11.5.2　模式发现与模式隐藏技术 386

11.5.4　行为控制与反控制技术 387

11.5.3 行为发现与行为隐藏技术 387

11.5.5 行为特性对抗技术 388

11.5.6　攻击入侵技术 388

11.5.7　定位与反定位技术 389

11.5.8　追踪与反追踪技术 390

11.5.9　行为对抗组织输送、配置技术 391

11.6　行为对抗战术 391

11.7　行为对抗控制 392

11.8　行为对抗能力评估（红／蓝测试） 392

习题 393

第3部分　软件行为代理网格平台 395

第12章　代理网格概论 397

12.1　代理网格概念 397

12.2 网络计算机分布式计算模式 397

12.3　中间件分布式计算模式 398

12.4　计算网格模式（有限不确定计算模型） 399

12.5　代理程序设计（AOP） 400

习题 405

13.1.1 系统与平台概念 407

第13章 代理网格平台体系结构 407

13.1 代理网格平台概念 407

13.1.2　代理网格平台概念 410

13.2　独立代理网格平台体系结构 412

13.3　伴侣代理网格平台体系结构 413

13.4 多系统与多代理系统体系结构 417

习题 418

14.1.2　实例1：企业员工个人助理服务代理系统 421

14.1.1 独立服务代理与服务代理平台概述 421

第14章 服务代理网格平台模型 421

14.1 独立服务代理与服务代理平台 421

14.1.3 实例2：网络服务发布、发现、交互代理系统 423

14.1.4　实例3：信息发布服务代理系统 425

14.2　伴侣服务代理与代理平台 425

14.2.1 伴侣服务代理与代理平台概述 425

14.2.2　实例4：应用信息系统的互操作性服务代理系统 425

14.2.3 实例5：企业信息系统测试代理系统 427

习题 428

15.1 管理平台体系结构概述 429

第15章 管理代理与管理代理网格平台 429

15.2　定位代理及定位代理网格 430

15.3　代理管理平台体系结构 432

15.4 系统管理代理与代理网格平台 441

15.5 网络管理代理与代理网格平台 443

15.6　安全管理代理与代理网格平台 447

15.7　综合管理代理网格平台 448

习题 449

16.2　安全控制代理系统结构 451

16.2.1 安全控制伴侣代理系统结构 451

16.1 安全控制代理及其代理网格平台概述 451

第16章 安全控制与监管代理及其代理网格平台 451

16.2.2　安全控制独立代理系统结构 455

16.3　安全控制代理网格平台 458

16.4　行为监管代理及其代理网格平台概述 460

16.4.1　应用行为监管代理结构 461

16.4.2　技术行为监管代理结构 462

16.5　行为监管代理网格平台 464

习题 467

17.1 行为对抗代理网格平台模型概述 469

第17章 行为对抗代理网格平台模型 469

17.2　行为对抗代理结构 470

17.2.1 军虚拟指挥代理结构 470

17.2.2　师虚拟指挥代理结构 471

17.2.3　团虚拟指挥代理结构 472

17.2.4　战斗组代理结构（CPDA结构） 473

17.2.5　克隆代理结构 475

17.2.6　防护代理结构 476

17.2.7　发现代理结构 476

17.2.8　攻击与追踪代理结构 476

17.3.2　计算机与局域网行为对抗平台 477

17.3　行为对抗平台 477

17.3.1 行为对抗平台概述 477

17.3.3　企业网络行为对抗平台 478

17.3.4　领域网络行为对抗平台 480

17.3.5 国家网络行为对抗平台 481

17.4　行为对抗系统 482

17.4.1 黑客模式网络行为对抗系统 482

17.4.2　渗透式网络行为对抗系统 482

17.4.3　有线插播攻击或反攻击系统 482

17.4.7 定位与反定位代理系统 483

17.4.8　网络对抗配置系统 483

17.4.5 卫星通信攻击和反攻击系统 483

17.4.6　追踪与反追踪代理系统 483

17.4.4　无线通信攻击和反攻击系统 483

17.4.9　网络对抗输送系统 484

习题 484

附录A　IT行业发展的时代召唤：代理化——代理技术的研究、应用与发展展望 485

附录B　英文缩写字注释 557

资源 563

参考文献 564