“王崑声”申请（专利权）人搜索_中国专利权人_发明人_技术持有人_科研专家_钻瓜专利网

钻瓜专利网为您找到相关结果19个，建议您升级VIP下载更多相关专利

[发明专利]一种航天嵌入式C语言软件运行时错误的静态分析方法-CN201110291315.2有效
发明人： 王崑声;詹海潭;经小川;张刚;李宁 -专利权人：中国航天科技集团公司第七一〇研究所
申请日： 2011-09-29 - 公布日： 2012-06-20 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天嵌入式C语言软件运行时错误的静态分析方法。包括：(1)将航天嵌入式C语言软件运行时错误按照错误的发生机制进行分类，根据每类错误构造属性状态机的步骤。(2)根据构造的待检测软件源代码的程序控制流图和属性状态机获得程序控制流图中各节点的属性状态和路径条件的步骤。(3)根据获得的属性状态和路径条件对运行时错误进行分析的步骤。采用本发明提高了对航天嵌入式C语言软件运行时错误进行检测的准确度和效率。
一种航天嵌入式语言软件运行错误静态分析方法

[发明专利]针对面向对象程序设计语言源代码的软件可视化方法-CN201010266831.5无效
发明人：胡昌振;王国强;王崑声;王志刚;胡鹤;洪孝金 -专利权人：北京理工大学
申请日： 2010-08-30 - 公布日： 2012-03-21 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种针对面向对象程序设计语言源代码的软件可视化方法，属于软件可视化技术领域。本发明包括如下步骤：①从源代码中提取关键信息；②获取原始图数据信息；③获取有向图数据信息；④设计图形布局；⑤进行可视化映射。本文提出了一种新的针对面向对象程序设计语言源代码的软件可视化方法，弥补了类图用于软件可视化中的不足，能够更准确直观的反应软件的内部结构和软件内类的地位和作用，便于使用者快速获得软件设计层次上的理解。
针对面向对象程序设计语言源代码软件可视化方法

[发明专利]一种针对软件缺陷的检测方法-CN201010266806.7无效
发明人：胡昌振;秦强;王崑声;闫怀志 -专利权人：北京理工大学
申请日： 2010-08-30 - 公布日： 2012-03-21 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及一种针对软件缺陷(software vulnerability)的检测方法，属于信息安全技术领域。其具体操作步骤如下：①收集包含已知缺陷的软件源代码程序；②获取缺陷代码表；③获取待测试程序的控制流图CFG和汇编代码；④确定待测试程序汇编代码中的重点分析代码段并通过待测试程序的控制流图CFG获取经过重点分析代码段对应的节点的所有路径；⑤对每条可疑路径，利用改进的Fuzzing测试方法进行检测，得到待测试程序的检测结果。本发明在确定适应度函数时，消除了对被测程序的源代码的依赖，并保持了信息的可用性；消除了抽象语法树中的冗余信息并保持有用信息的完整性因此具有更好的实用性和更高的效率。
一种针对软件缺陷检测方法

[发明专利]一种含有人胰岛素基因的表达载体及其构建方法与应用-CN201110142310.3有效
发明人：安胜军;柴锡庆;邵铁梅;焦展;温昕;李雪;刘培;卢海刚;王崑声;胡良元;许海民;于成钢 -专利权人：安胜军;柴锡庆;王崑声
申请日： 2011-05-30 - 公布日： 2011-12-07 - 主分类号： C12N15/82 文献下载
摘要：本发明公开了一种含有人胰岛素基因的表达载体及其构建方法与应用，主要是在植物双元表达载体pBI121的限制性内切酶酶切位点HindIII和SacI的之间插入以油菜油体蛋白基因启动子驱动的花生油体蛋白基因-人胰岛素基因组成的融合蛋白表达盒，得到发明中所述的植物表达载体pBINOI。另外，提供了一种利用该表达载体转化油葵构建植物生物反应器制备人胰岛素的方法，该方法不仅可以提高人胰岛素的产率，而且大大降低生产成本，适合工业化生产。
一种有人胰岛素基因表达载体及其构建方法应用

[发明专利]一种验证AADL模型运行状态与需求一致性的方法-CN201110109292.9有效
发明人： 王崑声;张辉;经小川;张刚;谢伟华 -专利权人：中国航天科技集团公司第七一〇研究所
申请日： 2011-04-29 - 公布日： 2011-09-14 - 主分类号： G06F11/36 文献下载
摘要：一种验证AADL模型运行状态与需求一致性的方法，步骤包括：(1)根据需求中的状态和状态迁移构建AADL模型，AADL模型中模式和模式迁移分别对应需求中的状态和状态迁移；(2)将AADL模型中模式和模式迁移转化为Petri网模型；(3)计算Petri网模型的关联矩阵C；(4)利用Petri网模型的状态方程判断构建的AADL模型运行状态与需求是否一致。本发明提出将AADL模型中的“模式”及“模式迁移”映射为Petri网模型中的库所及变迁，并将此Petri网模型作为被测模型，结合Petri网模型性质和AADL模型的特点计算AADL模型可达的状态集合，从而达到判断建立的AADL模型运行状态是否与需求一致的目的，提高了所建AADL模型的正确性，缩短了系统建立时间，节省了系统建立成本。
一种验证 aadl 模型运行状态需求一致性方法

[发明专利]一种结合语言集合与拓扑结构的行为模型评价方法-CN201110102961.X无效
发明人：胡昌振;任宏宇;王崑声;薛静锋;马锐 -专利权人：北京理工大学
申请日： 2011-04-22 - 公布日： 2011-08-10 - 主分类号： G06F11/36 文献下载
摘要：本发明属于软件行为领域，涉及一种结合语言集合与拓扑结构的行为模型评价方法。从基于语言的集合开始将待测自动机和标准自动机的语言集合进行求解，分析对于非有限自动机是否能够部分求解，获取自动机不同状态和跳转所具有的权值，求取基于语言集合分析方法的评分；得到两个自动机的状态和跳转集合的重叠部分，利用精度和回归的评价方法对的到的集合进行分析，求取基于拓扑结构分析方法的评分：利用基于语言集合的分析结果计算待测自动机和标准自动机中每一个状态和跳转在所属自动机中具有的权值，构建扩展的精度和回归评价方法。本发明为自动机中的每一个状态赋权，在将带有权值的状态结合基于拓扑分析的结果统一计算，改进精度和回归的计算公式。
一种结合语言集合拓扑结构行为模型评价方法

[发明专利]一种基于有限自动机的行为自动建模方法-CN201110102612.8无效
发明人：胡昌振;周银;王崑声;赵小林;薛静锋 -专利权人：北京理工大学
申请日： 2011-04-22 - 公布日： 2011-07-27 - 主分类号： G06F11/36 文献下载
摘要：本发明属于软件行为领域，涉及一种基于有限自动机的行为自动建模方法。第一步：获取交互轨迹：获取样例执行情况的交互轨迹使得交互轨迹执行顺序唯一；第二步：合并输入一等价轨迹：将生成的样例交互轨迹按输入等价的原则进行合并；第三步：获得谓词；第四步：通过第三步得到行为模型的扩展有限自动机EFA，增加一个公共的初始状态得到初始的EFA，再根据等价原则合并获得最终的EFA。本发明的目的就是为了获得更多更精确的信息，生成更好的软件行为模型。
一种基于有限自动机行为自动建模方法

[发明专利]一种种子特异型表达载体及其构建方法与应用-CN201010580017.0有效
发明人：安胜军;柴锡庆;邵铁梅;焦展;温昕;李雪;刘培;卢海刚;陈云雨;王崑声;胡良元;许海民;于成钢 -专利权人：安胜军;柴锡庆;王崑声
申请日： 2010-12-09 - 公布日： 2011-07-20 - 主分类号： C12N15/63 文献下载
摘要：本发明公开了一种种子特异型表达载体及其构建方法与应用，主要是在植物双元表达载体pBI121的限制性内切酶酶切位点HindIII和SacI的之间插入以油菜油体蛋白基因启动子驱动的花生油体蛋白基因-阿朴脂蛋白A-I米兰突变体基因组成的融合蛋白表达盒，得到发明中所述的植物表达载体pBINOA。另外，提供了一种利用该表达载体转化油葵构建植物生物反应器制备阿朴脂蛋白A-I米兰突变体的方法，该方法不仅可以提高阿朴脂蛋白A-I米兰突变体的产率，而且大大降低生产成本，适合工业化生产。
一种种子异型表达载体及其构建方法应用

[发明专利]一种用于嵌入式安全关键系统的可靠性分析方法-CN201010579757.2无效
发明人：胡昌振;闫怀志;李楠;王崑声 -专利权人：北京理工大学
申请日： 2010-12-03 - 公布日： 2011-04-27 - 主分类号： G06F11/00 文献下载
摘要：本发明涉及一种用于嵌入式安全关键系统的可靠性分析方法，属于信息安全技术领域。本发明首先构造软硬件故障表征集，然后对故障表征集中的故障进行分类得到软硬件故障模式集并且结合故障关联概率表构建后继故障模式集，在后继故障模式集的基础上构建软硬件故障关联的静态故障树，对静态故障树进行分析，得到故障分析的结果。将组成嵌入式安全关键系统的软硬件基本单元进行细分，并结合各个基本单元发生故障的关联关系，通过模糊概率多信号流图模型构造后继故障模式，利用后继故障模式集反映出的故障之间的时序逻辑关系构建静态故障树模型，运用该模型可以更为准确、有效地评估系统的可靠性。
一种用于嵌入式安全关键系统可靠性分析方法

[发明专利]一种基于序列聚类的软件安全特性分析方法-CN201010582878.2无效
发明人：胡昌振;任家东;王崑声;蔡斌雷;吴迪 -专利权人：北京理工大学
申请日： 2010-12-10 - 公布日： 2011-03-30 - 主分类号： G06F21/00 文献下载
摘要：本发明涉及一种基于序列聚类的软件安全特性分析方法，基于软件漏洞逆向分析技术的基础上，收集现有的软件漏洞，预处理软件漏洞，将处理后的软件漏洞程序操作序列存入软件漏洞序列数据库，采用基于序列整体的相似性的聚类算法将软件漏洞序列数据库中软件序列进行分类，存入漏洞知识库，以提高漏洞知识库的质量和软件漏洞的分析效率；将从待测软件中抽取出来的疑似软件漏洞序列进行分析，利用基于编辑距离的相似性度量来衡量序列之间的相似程度，分析出软件漏洞，以提高软件漏洞检测的准确率。
一种基于序列软件安全特性分析方法

[发明专利]一种适用于软件可视化过程的图形布局方法-CN201010503302.2无效
发明人：胡昌振;王国强;王崑声;王志刚;郭刚;洪孝金;万颖 -专利权人：北京理工大学
申请日： 2010-09-30 - 公布日： 2011-01-26 - 主分类号： G06F9/44 文献下载
摘要：本发明涉及一种适用于软件可视化过程的图形布局方法，属于软件可视化技术领域。首先设定画布的左上角为坐标原点，其次对软件可视化过程中得到的待处理有向图进行深度搜索，根据搜索结果获得每个节点边框的左上角的坐标；此外根据每个节点上已设定好的文本的内容和样式，得到每个节点的边框长宽信息；根据每个节点边框的左上角的坐标及每个节点边框长宽信息即得到边框矩形的中心点坐标。本发明在图中的节点较多时，可尽量减少图中的交叉线；并且充分考虑到与某一个节点相连接的其它多个节点在几何空间上的布局，使这些节点在图中的位置相对集中，使层次化系统结构图的可读性比好。
一种适用于软件可视化过程图形布局方法

[发明专利]一种基于频繁模式增长算法的网络攻击路径重构方法-CN200910237631.4无效
发明人： 王崑声;白昊;胡昌振 -专利权人：中国航天科技集团公司第七一○研究所;北京理工大学
申请日： 2010-02-08 - 公布日： 2010-12-29 - 主分类号： H04L12/26 文献下载
摘要：本发明涉及一种基于频繁模式增长算法的攻击路径重构技术，属于网络信息安全技术领域，适用于入侵检测系统(IDS)和其它安全监控系统。本发明将IDS的告警事件与其他安全工具(如杀毒软件/扫描器等)的数据相关联，融合为补偿性入侵证据(complementary intrusion evidence)，使每一步攻击都有相应的系统状态作为攻击效果的客观反映；然后在此数据基础上创建基于贝叶斯网络的攻击场景；再使用频繁模式增长算法从攻击场景中挖掘出频繁攻击序列，提高挖掘效率的同时显著减少了系统开销；最后将挖掘出的频繁攻击序列进行再关联以重构出攻击路径，能够清晰判断出可能的攻击意图。
一种基于频繁模式增长算法网络攻击路径方法

[发明专利]一种基于隐马尔可夫模型的汇编指令级漏洞检测方法-CN201010257022.8无效
发明人： 王崑声;李宁;胡昌振;白昊 -专利权人：中国航天科技集团公司第七一○研究所;北京理工大学
申请日： 2010-08-19 - 公布日： 2010-12-22 - 主分类号： G06F21/00 文献下载
摘要：本发明涉及一种基于隐马尔可夫模型的汇编指令级漏洞检测方法，属于信息安全技术领域；包括如下步骤：①构造漏洞指令库VIL；②针对步骤①中构造的漏洞指令库中的全部漏洞，分别为漏洞指令库中的每种漏洞选取多个含有该漏洞的可执行程序作为该漏洞的训练数据；③获取漏洞指令库中的每个漏洞的训练数据的汇编指令片段；④获取训练数据的数字码序列；⑤依次获得漏洞指令库中的每个漏洞对应的隐马尔科夫模型的参数λr＝{Ar，Br，πr}；⑥对待测可执行程序进行漏洞识别。本发明提出的方法与已有技术相比较，有如下优点：首次将HMM应用于对存在上下文关联性的汇编指令进行建模并对漏洞特征进行识别；提高了漏洞检测的效率，同时降低了误报率和漏报率。
一种基于隐马尔可夫模型汇编指令漏洞检测方法

[发明专利]一种基于GCC抽象语法树的缓冲区溢出漏洞检测方法-CN201010240908.1有效
发明人：胡昌振;邹家莘;王崑声;马锐;薛静锋 -专利权人：北京理工大学
申请日： 2010-07-30 - 公布日： 2010-12-08 - 主分类号： G06F11/00 文献下载
摘要：本发明涉及一种缓冲区溢出漏洞的检测方法，特别涉及一种基于GCC抽象语法树的缓冲区溢出漏洞检测方法，属于信息安全技术领域。本发明利用GCC编译器对待分析源程序进行操作，生成抽象语法树；消除抽象语法树文本中所有与分析数据流、控制流无关的信息并保持有用信息的完整性；然后将其用于程序分析中，通过对抽象语法树上相关结点的监控来达到缓冲区溢出漏洞的分析和检测的目的。与传统的没有消除冗余的解析方法相比，本方法具有更好的实用性和更高的效率与准确率。
一种基于 gcc 抽象语法缓冲区溢出漏洞检测方法

[发明专利]一种结合指针分析的软件安全漏洞动态检测方法-CN201010110545.X有效
发明人：胡昌振;王崑声;曲洋;马锐;薛静锋 -专利权人：北京理工大学
申请日： 2010-02-09 - 公布日： 2010-09-15 - 主分类号： G06F21/22 文献下载
摘要：本发明涉及一种软件安全漏洞动态检测方法，特别涉及一种结合指针分析的软件安全漏洞动态检测方法，属于信息安全技术领域。本发明首先识别出待检测程序中的不安全指针，然后将其表示成为胖指针，再通过运行待检测程序，不断地查看胖指针中包含的指针状态信息找到待检测程序存在的漏洞。该方法能够同时检测多种漏洞，如缓冲区溢出漏洞和悬浮指针漏洞等，同时降低系统资源的消耗。
一种结合指针分析软件安全漏洞动态检测方法

1
2
下一页»
尾页
共 19 条