第1章 概论
1.1 信息系统
1.2 信息系统安全及相关技术
1.3 访问控制模型
1.3.1 访问控制的基本概念
1.3.2 自主访问控制模型
1.3.3 强制访问控制模型
1.3.4 基于角色的访问控制模型
1.4 小结
第2章 RBAC96
2.1 RBAC概述
2.2 RBAC96概述
2.3 RBAC96的形式化描述
2.4 RBAC96的关键技术与概念
2.4.1 角色层次与角色继承
2.4.2 约束
2.5 RBAC96系统的设计与案例
2.5.1 设计说明
2.5.2 设计案例——小型应用系统的访问控制系统设计
2.6 小结
第3章 ARBAC97
3.1 ARBAC97模型
3.2 ARBAC97的辖域
3.3 ARBAC97中的管理学含义
3.3.1 管理要素
3.3.2 RBAC管理中的组织形态
3.3.3 RBAC管理中的控制方式
3.3.4 管理主体之间委派制式
3.4 ARBAC97中存在的问题
3.4.1 角色层次关系变更过程中的附带效应
3.4.2 管理递归问题
3.5 衍生的访问控制模型
3.5.1 ARBAC02与SARBAC
3.5.2 时态RBAC模型与基于任务的RBAC模型
3.6 安全策略设计案例——ASP系统中访问控制策略
3.6.1 ASP系统访问控制需求分析
3.6.2 访问控制策略的设置
3.6.3 应用示例
3.7 小结
第4章 TB-ARBAC模型
4.1 信任的基本概念
4.2 基于信任的ARBAC管理模型——TB-ARBAC
4.3 TB-ARBAC的信任
4.3.1 TB-ARBAC模型的信任函数
4.3.2 TB-ARBAC模型的信任制度设计
4.4 TB-ARBAC与ARBAC297管理模式的对比
4.5 小结
第5章 TB-ARBAC的安全分析问题
5.1 安全策略的形式化
5.2 安全状态转移系统
5.3 安全策略的安全分析
5.4 小结
第6章 安全分析方法
6.1 智能规划技术
6.1.1 智能规划的研究历程
6.1.2 图规划技术
6.1.3 智能规划领域与问题的表示
6.2 安全分析过程中的智能规划问题
6.3 安全分析的建模过程
6.3.1 领域描述和前提假设
6.3.2 前置处理
6.3.3 领域模型建模的基本步骤
6.3.4 从角色继承层次关系到虚动作
6.3.5 领域命题互斥的生成
6.3.6 从管理策略到规划动作模型
6.3.7 规划问题的定义
6.3.8 规划解到安全分析领域的翻译
6.4 建模过程的复杂性分析
6.5 面向安全分析的图规划算法改造策略
6.5.1 关于动作与命题互斥的推论
6.6 规划图的剪枝
6.6.1 领域约束的生成
6.6.2 虚动作的剪枝
6.6.3 目标状态的生成
6.7 Graphplan算法的改造
6.8 小结
第7章 安全分析原型系统PolicyProber
7.1 PolicyProber简介
7.2 系统功能框架和技术框架
7.3 PolicyProber的技术要点
7.3.1 规划图的数据结构定义
7.3.2 改造后的GraphPlan算法的编码
7.3.3 PolicyProber中规划图的显示方式
7.4 PolicyPmber操作界面
7.5 应用案例说明
7.5.1 构造领域模型
7.5.2 构造安全分析实例的规划问题
7.5.3 求解规划问题
7.5.4 基于信任协商的解决方案
7.6 小结
第8章 TB-RBAC模型中的审计
8.1 引言
8.2 信息安全审计
8.3 TB-ARBAC中的审计
8.4 TB-ARBAC模型中审计信息的访问控制
8.4.1 审计信息组成
8.4.2 审计信息的用途分析和存储管理
8.4.3 审计信息的访问控制
8.5 TB-ARBAc中的委派制式和权责制度
8.6 审计方法
8.6.1 常规审计方法
8.6.2 事故审计方法
8.7 小结
附录 安全分析方法的核心代码
缺书网
扫码进群