您的位置： 专家智库 > >

程亮

作品数：4 被引量：25H指数：3
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文基金：国家高技术研究发展计划中央高校基本科研业务费专项资金国家教育部博士点基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文期刊文章

领域

  • 4篇自动化与计算...

主题

  • 3篇形式化
  • 2篇形式化验证
  • 2篇操作系
  • 2篇操作系统
  • 1篇代码
  • 1篇代码分析
  • 1篇多样性
  • 1篇形式化方法
  • 1篇隐私
  • 1篇隐私保护
  • 1篇指针逻辑
  • 1篇匿名
  • 1篇系统安全
  • 1篇基于UML
  • 1篇分析方法
  • 1篇安全操作
  • 1篇安全操作系统
  • 1篇安全策略模型
  • 1篇UML
  • 1篇K-匿名

机构

  • 4篇中国科学技术...
  • 3篇中国科学院软...

作者

  • 4篇程亮
  • 3篇张阳
  • 1篇冯登国
  • 1篇蒋凡

传媒

  • 2篇计算机学报
  • 1篇软件学报
  • 1篇信息网络安全

年份

  • 1篇2015
  • 1篇2010
  • 2篇2009
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
基于UML和模型检测的安全模型验证方法被引量：15
2009年
安全策略的形式化分析与验证随着安全操作系统研究的不断深入已成为当前的研究热点之一.文中在总结前人工作的基础上,首次提出一种基于UML和模型检测器的安全模型验证方法.该方法采用UML将安全策略模型描述为状态机图和类图,然后利用转换工具将UML图转化为模型检测器的输入语言,最后由模型检测器来验证安全模型对于安全需求的满足性.作者使用该方法验证了DBLP和SLCF模型对机密性原则的违反.
程亮张阳
关键词：安全操作系统安全策略模型形式化验证UML
基于微聚集的a-多样性k-匿名大数据隐私保护被引量：4
2015年
基于敏感信息的数据发布面临的主要问题在于如何保证数据的有用性和隐私保护。匿名化是一个很好的方法,目前有多种匿名化模型。然而大多数的模型主要侧重于使用预先定义的参数为整个数据集提供无差别的隐私保护,这并不能适应不同个体对不同敏感属性的多样性保护需求。基于此,文章提出了一种满足敏感信息的多样性非相关约束的a-多样性k-匿名化模型;同时,设计了一个改进的微聚集算法的框架替代了传统的泛化/抑制实现匿名化。使用这个框架,能够提高数据的有用性并降低隐私泄露的风险。通过在真实数据集上进行多次试验验证了此方案的有效性。
程亮蒋凡
一种基于指针逻辑的代码安全属性分析方法被引量：4
2009年
在分析和总结前人工作的基础上,提出了一种改进的代码安全属性验证方法.该方法在利用传统的源代码安全属性验证工具的基础上,加入了指针逻辑,针对现有代码属性分析技术只能对C语言子集进行分析验证的不足,利用指针逻辑对源代码的分析结果对源代码中的指针进行替换,从而避开了传统静态代码属性验证工具对指针处理功能太弱的瓶颈,可以实现对C语言中的部分指针及运算进行处理.
张阳程亮
关键词：操作系统安全形式化验证代码分析指针逻辑
一种基于安全状态转移的简并测试集生成方法被引量：2
2010年
在总结前人工作的基础上,结合安全操作系统对测试的特殊需求,提出了简并测试集(degenerate test set,简称DTS)的概念,设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法.该方法以状态转移为化简对象,在利用模型检测技术生成测试用例的同时,归并相同的状态转移并化简需求集中的冗余属性,从而最终达到化简测试集的目的.在此基础上,探讨了单个用例失败时用例集的有效性问题,并对DTS生成算法进行了改进.实验结果表明,该方法可以有效地对测试集中的冗余进行化简.
程亮张阳冯登国
关键词：形式化方法
全选 清除 导出
共1页<1>
聚类工具0