检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于改进军用安全模型的sJava语言

引用

解放军理工大学学报（自然科学版） 2009年第1期10卷 23-29页

作者：于泠陈波肖军模解放军理工大学通信工程学院江苏南京210007 南京师范大学计算机系江苏南京210097

为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类... 详细信息

为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造。结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载。

关键词：信息流控制军用安全模型 Java 类型系统

在线全文

学校读者我要写书评

暂无评论

军用安全模型扩展及其应用

引用

情报指挥控制系统与仿真技术 2005年第4期27卷 62-65,69页

作者：戴江山肖军模解放军理工大学江苏南京210007

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析。扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流... 详细信息

在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析。扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息。以数字文档安全管理系统为例对扩展模型应用进行了描述。实例表明扩展模型更适合实际系统对信息流控制的要求。

关键词：军用安全模型信息流策略多级安全

在线全文

学校读者我要写书评

暂无评论

多策略的工作流管理系统访问控制模型

引用

系统工程理论与实践 2009年第2期29卷 151-158页

作者：于泠陈波肖军模南京师范大学计算机系南京210097 中国人民解放军理工大学通信工程学院南京210007

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出... 详细信息

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流管理系统中,收到了很好的效果.

关键词：工作流工作流管理系统基于角色的访问控制军用安全模型信息流控制