一个非确定系统的不干扰模型

• 作者: 谢钧 黄皓
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 不干扰模型 信息安全 安全模型 访问控制模型 信息流
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 1601-1608
• 页数: 8页
• 分类号: TP309
• 字数: 7471字
• 语种: 中文

摘要

提出系统动作对信息域的不干扰概念,并在此基础上将不干扰模型推广到非确定系统.由于基于系统动作的不干扰概念简化了系统动作序列的提取操作,该模型的单步展开条件具有简洁的形式并易于理解和使用.推广后的不干扰模型不仅能够验证静态信息流策略,还可以验证各种动态信息流策略.最后设计了一个基于动态标记的访问控制模型,并在该模型中定义了读、写、执行等操作的具体语义,然后利用不干扰模型对其安全性进行了形式化验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄皓	南京大学计算机科学与技术系	140	1805	24.0	35.0
2	谢钧	解放军理工大学指挥自动化学院	27	233	10.0	14.0