基于角色的访问控制技术

书籍目录

第1章　概论1.1 信息系统1.2 信息系统安全及相关技术1.3 访问控制模型1.3.1 访问控制的基本概念1.3.2 自主访问控制模型1.3.3 强制访问控制模型1.3.4 基于角色的访问控制模型1.4 小结第2章　RBAC962.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章　ARBAC973.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与SARBAC3.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-ARBAC4.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章　安全分析原型系统PolicyProber7.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 小结附录　安全分析方法的核心代码

作者简介

《基于角色的访问控制技术》一书研究基于角色的访问控制技术。访问控制是信息系统重要的基础设施。全书共8章：第1、2章主要介绍访问控制技术的发展和RBAC模型的基本概念；第3章重点阐述RBAC97中的管理思想和安全策略的形式化表述；第4章重点分析RBAC模型中存在的信任，以及由此派生出基于信任的RBAC模型——TB-RBAC；第5、6章提出了RBAC模型中策略安全分析问题，介绍了基于智能规划的安全分析方法；第7章介绍了笔者所开发的安全分析系统原型；第8章介绍了RBAC模型中的审计方法。

《基于角色的访问控制技术》主要面向科研工作者，也可以作为相关计算机工作者、工程技术人员、研究生的参考书籍。

图书封面

 基于角色的访问控制技术下载