国家高技术研究发展计划(2007AA01Z465)
- 作品数：3 被引量：26H指数：3
- 相关作者：冯登国程亮张阳邓艺赵险峰更多>>
- 相关机构：中国科学技术大学中国科学院软件研究所国家工程研究中心更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金中国科学院知识创新工程领域前沿项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于特征函数和质量因子的JPEG图像隐写分析被引量：8
- 2010年
- 提出了一种新的JPEG通用隐写分析方法.通过分析JPEG图像DCT域和小波域的量化噪声模型和隐写模型,发现了量化噪声和嵌入噪声对图像的作用原理,并用直方图特征函数来区分2种噪声对图像的影响.基于JPEG质量因子对图像进行分类,为每个图像分类单独训练支持向量机分类器.实验显示,本文方法相比已有的一些常用JPEG通用隐写分析方法具有更好的检测性能.
- 邓艺赵险峰冯登国
- 关键词：信息隐藏图像隐写隐写分析特征函数
- 基于UML和模型检测的安全模型验证方法被引量：15
- 2009年
- 安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.
- 程亮张阳
- 关键词：安全操作系统安全策略模型形式化验证UML
- 分布式环境下可信使用控制实施方案被引量：3
- 2011年
- 当前分布式环境下,数据分发后产生了多种新的安全需求,传统的访问控制模型早已无法满足实际需要.因此,基于新型的使用控制模型UCON和可信计算技术,针对分布式环境下的信息安全需求,构建了一种通用的、可协商的可信使用控制架构TUC(trusted usage control).该架构利用硬件信任根TPM实施使用控制,引入策略和密钥协商机制,保证数据分发、传输、存储和使用控制过程中的机密性、完整性、可控性.此外,通过使用控制策略与分发数据的绑定,TUC的使用控制实施不会局限于特定的应用环境,增强了方案的通用性.针对原型系统的性能测试表明,TUC的表现达到了预期,为分布式环境下的访问控制实施提供了可行的解决方案.
- 胡浩冯登国秦宇于爱民
- 关键词：可信计算可信平台模块分布式访问控制
