公开(公告)号：CN108287711A

公开(公告)日：2018-07-17

申请号：CN201810184516.4

申请日：2018-03-07

Applicant: 北京理工大学 ,  北京计算机技术及应用研究所

Inventor： 胡昌振 ,  单纯 ,  喻梓峻 ,  梅珊珊 ,  毛俐旻

IPC: G06F8/30

Abstract: 本发明公开了一种软件系统的代数构件表示方法和装置，将软件系统根据功能区分成不同的模块，每个模块表达为一个代数构件；所述表达为：用ADL语言对代数构件进行描述，形成XML文件；以代数构件为节点，以代数构件间的运算关系为边，获得软件系统的代数拓扑图。本发明适用于面向对象和面向过程程序语言设计开发的软件系统，且表达清晰，解决了后续开发人员理解上的困扰。

公开(公告)号：CN107454108A

公开(公告)日：2017-12-08

申请号：CN201710840570.5

申请日：2017-09-18

Applicant: 北京理工大学

Inventor： 胡昌振 ,  单纯 ,  喻梓峻 ,  赵小林 ,  刘丽媛

IPC: H04L29/06 ,  H04L12/24

CPC classification number: H04L63/20 ,  H04L41/142

Abstract: 本发明针对目前网络的服务与应用的度量与评估目前尚处于粗略比较状态，缺少评估指标体系、准确度量指标值的问题，提出一种基于攻防对抗效用的网络安全评估方法。包括以下步骤：步骤1：确定场景微分流形；步骤2：计算行为路径；步骤3：计算行为效用；步骤4：基于行为效用进行网络攻防评估。

公开(公告)号：CN107454108B

公开(公告)日：2019-07-16

申请号：CN201710840570.5

申请日：2017-09-18

Applicant: 北京理工大学

Inventor： 胡昌振 ,  单纯 ,  喻梓峻 ,  赵小林 ,  刘丽媛

IPC: H04L29/06 ,  H04L12/24

Abstract: 本发明针对目前网络的服务与应用的度量与评估目前尚处于粗略比较状态，缺少评估指标体系、准确度量指标值的问题，提出一种基于攻防对抗效用的网络安全评估方法。包括以下步骤：步骤1：确定场景微分流形；步骤2：计算行为路径；步骤3：计算行为效用；步骤4：基于行为效用进行网络攻防评估。

公开(公告)号：CN106970803A

公开(公告)日：2017-07-21

申请号：CN201710279321.3

申请日：2017-04-25

Applicant: 北京理工大学

Inventor： 胡昌振 ,  单纯 ,  朱洪进 ,  马锐 ,  喻梓峻

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F8/71 ,  G06F11/3604

Abstract: 本发明公开了一种软件系统演化的分析方法和装置。该方法包括：以第一版本软件中的信息资源为节点，以第一版本软件中信息资源之间的关联关系为边，构建第一版本软件的第一软件结构拓扑图；根据代数拓扑复形原理，将第一软件结构拓扑图中的每一个节点表述成一个代数构件，并获取代数构件之间的关系信息；将第一软件结构拓扑图转化为以代数构件为节点，以关系信息为边的第二软件结构拓扑图，并将第二软件结构拓扑图分解为代数构件表达式；输出第一版本软件的代数构件表达式。本发明以代数运算的形式分析该软件系统的演化过程，从整体上对软件系统的演化过程进行掌握，指导软件系统的重构和维护；提高软件系统，特别是大规模软件系统的演化分析效率。