江苏省教育厅自然科学基金(08KJD520017)

作品数:3被引量:7H指数:2
导出分析报告
相关作者:陈波于泠肖军模师惠忠更多>>
相关机构:南京师范大学解放军理工大学江苏省信息安全保密技术工程研究中心更多>>
相关期刊:《小型微型计算机系统》《系统工程理论与实践》更多>>
相关主题:信息流控制军用安全模型访问控制模型工作流管理系统工作流更多>>
相关领域:自动化与计算机技术更多>>
-

检索结果分析

结果分析中...
条 记 录,以下是1-3
视图:
排序:
一种新型Web应用安全漏洞统一描述语言被引量:3
《小型微型计算机系统》2011年第10期1994-2001,共8页陈波 师惠忠 
江苏省教育厅高校自然科学基金项目(08KJD520017)资助
提出一种基于XML的Web应用安全漏洞统一描述语言UVDL,通过制定包含漏洞信息的结构化XML文件,其中每个漏洞又以树状结构包含漏洞的基本信息、利用、影响、修复以及参考信息等框架文件,并定义各描述子项,来标准化漏洞检测过程.相比已有的...
关键词:漏洞 漏洞描述 漏洞评估 WEB安全 
多策略的工作流管理系统访问控制模型被引量:4
《系统工程理论与实践》2009年第2期151-158,共8页于泠 陈波 肖军模 
江苏省普通高校自然科学研究计划(08KJD520017);国家自然科学基金(60875001)
针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出...
关键词:工作流 工作流管理系统 基于角色的访问控制 军用安全模型 信息流控制 
基于改进军用安全模型的sJava语言
《解放军理工大学学报(自然科学版)》2009年第1期23-29,共7页于泠 陈波 肖军模 
江苏省自然科学基金重点资助项目(BK2004015);江苏省普通高校自然科学研究计划资助项目(08KJD520017)
为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类...
关键词:信息流控制 军用安全模型 JAVA 类型系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部