郭曦
- 作品数：20 被引量：28H指数：4
- 供职机构：华中农业大学更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 一种基于高阶正形置换的密码构造方法及系统
- 本发明属于密码学技术领域，公开了一种基于高阶正形置换的密码构造方法及系统：加密方、解密方统一约定相同的随机数生成方法；双方基于相同方法生成随机数串；加密方对整数8随机划分，进而随机构造低阶正形置换，将低阶正形置换拼接成高...
- 童言徐士伟王邦菊郭曦赵逸之
- 一种基于一类密码学置换的随机口令生成方法及系统
- 本发明属于信息安全技术领域，公开了一种基于一类密码学置换的随机口令生成方法及系统，针对口令中的每一个字符位，生成一个5位二进制的随机数，随机数为x，并随机构造一个GF(2)<Sup>5</Sup>上的非线性正形置换，这个...
- 童言徐士伟王邦菊郭曦赵逸之
- 文献传递
- 可信网络连接中一种基于可信度的细粒度授权模型
- 针对可信网络连接架构中所定义的访问控制粒度粗、对于如何评估访问请求者的可信级别,如何实施授权访问没有定义等问题,提出了根据请求者的行为及其平台计算环境特征评估其信任级别的方法,研究了具有反馈功能的动态访问授权模型,并在构...
- 邹冰玉张焕国郭曦胡颖加米拉·沙塔尔
- 关键词：可信计算可信网络连接接入控制
- 文献传递
- 一种基于约束的指针程序路径选择方法
- 2011年
- 动态符号执行是对程序进行安全性分析的重要技术.在动态符号执行过程中,存在着符号地址,系统调用,路径选择等问题.针对符号地址导致的别名分析问题,本文提出了一种基于约束的指针分析方法,对程序进行过程内的指向分析,并对指针分析过程引入约束条件,产生可以进行路径选择的测试用例,以提高指针分析的精度.在国内首款某型号商用编译器的开发过程中实现了该方法,实验结果表明,该方法可以准确地分析C语言测试用例,缩短用例测试的时间.
- 郭曦张焕国
- 关键词：测试用例生成
- 一种改进的指针安全分析算法
- 指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算...
- 郭曦何炎祥张焕国胡颖加米拉·沙塔尔
- 关键词：数据流分析
- 基于k近邻最弱前置条件的程序多路径验证方法被引量：5
- 2015年
- 程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展而生成缺乏针对性的路径的问题,另外由于路径条件过长而难以求解也限制了它的使用范围.该文提出基于k近邻最弱前置条件的程序多路径验证方法,该方法通过后向符号分析对程序调用图的构建过程进行改进,同时对指定的程序检测点生成最弱前置条件,并以该最弱前置条件为引导信息使用符号执行的方法在保证检测点可达的前提下有针对性地生成对程序性质进行验证的精简路径集合.实验结果表明,该方法可以提高程序验证的精度和准确性,并减少误报.
- 郭曦王盼王建勇张焕国
- 关键词：控制流图
- 一种基于约束的指针程序路径选择方法
- 动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针分析...
- 郭曦张焕国
- 一种密码学置换的枚举方法及系统
- 本发明属于密码学技术领域，公开了一种密码学置换的枚举方法及系统，获取n的值；选取一个次数为n的不可约多项式，构造GF(2<Sup>n</Sup>)上的乘法表；基于乘法表构造方阵；同时对符号进行相关定义；判断k是否大于0；...
- 童言徐士伟王邦菊郭曦赵逸之
- 文献传递
- 一种基于高阶正形置换的密码构造方法及系统
- 本发明属于密码学技术领域，公开了一种基于高阶正形置换的密码构造方法及系统：加密方、解密方统一约定相同的随机数生成方法；双方基于相同方法生成随机数串；加密方对整数8随机划分，进而随机构造低阶正形置换，将低阶正形置换拼接成高...
- 童言徐士伟王邦菊郭曦赵逸之
- 文献传递
- 一种基于一类密码学置换的随机口令生成方法及系统
- 本发明属于信息安全技术领域，公开了一种基于一类密码学置换的随机口令生成方法及系统，针对口令中的每一个字符位，生成一个5位二进制的随机数，随机数为x，并随机构造一个GF(2)<Sup>5</Sup>上的非线性正形置换，这个...
- 童言徐士伟王邦菊郭曦赵逸之
- 文献传递
