应用安全形式化描述研究

• 作者: 张明德 张清国 毕马宁 王舜
• 来源期刊: 信息网络安全
• 学科: 工学
• 关键词: 应用安全 身份认证 权限控制 统一管理
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 技术研究
• 页码范围: 47-53
• 页数: 7页
• 分类号: TP309
• 字数: 7284字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-1122.2016.10.008

摘要

随着机构内部应用系统的逐渐增多，应用安全问题也愈发突出。鉴于应用系统及其安全的复杂性和多样性，如何合理表示应用安全成为难题，现有研究成果都仅面向应用安全的某一个侧面而缺乏针对性，还没有系统性的应用安全形式化描述模型。文章首先通过分析主客体访问机制，区分业务功能、安全功能和应用策略，对应用系统进行形式化描述。然后对两种最常用的安全功能（身份认证和权限控制）进行形式化定义。权限控制引入保密概念，分析了三种角色（岗位角色、业务角色和保密角色）和客体密级，并区分权限管理方、权限验证方和权限依赖方。在此基础上，通过引入用户身份信息、统一门户等概念，研究了四种统一管理策略和表示方法。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张明德		2	2	1.0	1.0
2	毕马宁		3	2	1.0	1.0
3	王舜		5	1	1.0	1.0
4	张清国		1	0	0.0	0.0