-
公开(公告)号:KR101897395B1
公开(公告)日:2018-09-10
申请号:KR1020170024614
申请日:2017-02-24
Applicant: 국방과학연구소
Abstract: 본발명은사이버전구성모의기술에관한것으로서, 더상세하게는사이버전구성모의환경(Constructive Modeling Environment)에서사이버전시나리오작성의효율성과사이버공격의유효성확인을위한보안취약점데이터베이스(Database) 설계를위한표준데이터기반보안취약점대응방법및 시스템에대한것이다. 본발명에따르면, 보안취약점 DB를이용하면사이버전시나리오를작성할때 어떠한취약점을이용할것인지에대한취약점선택기준을시나리오작성목적에적합하도록제공함으로써사이버전시나리오작성의효율성을지원할수 있다.
-
-
公开(公告)号:KR1020180097885A
公开(公告)日:2018-09-03
申请号:KR1020170024614
申请日:2017-02-24
Applicant: 국방과학연구소
CPC classification number: G06F21/577 , G06F17/30386
Abstract: 본발명은사이버전구성모의기술에관한것으로서, 더상세하게는사이버전구성모의환경(Constructive Modeling Environment)에서사이버전시나리오작성의효율성과사이버공격의유효성확인을위한보안취약점데이터베이스(Database) 설계를위한표준데이터기반보안취약점대응방법및 시스템에대한것이다. 본발명에따르면, 보안취약점 DB를이용하면사이버전시나리오를작성할때 어떠한취약점을이용할것인지에대한취약점선택기준을시나리오작성목적에적합하도록제공함으로써사이버전시나리오작성의효율성을지원할수 있다.
-
公开(公告)号:KR101269528B1
公开(公告)日:2013-05-31
申请号:KR1020120147707
申请日:2012-12-17
Applicant: 국방과학연구소
CPC classification number: G06F17/5018 , G06F8/10
Abstract: PURPOSE: A graphic modeling method of a discrete event system is provided to add a simulation time management concept of discrete event simulation formalism to FSA(Finite State Automata) notation, thereby enabling the understanding of the discrete event system. CONSTITUTION: A simulation time management function is added to FSA type state transition notation. A discrete event system is composed of combination of a sub-system and includes an input port and an output port as an interface capable of transmitting and receiving data. The discrete event system includes a combination model with the sub-system and an atom model which does not include the sub-system. The discrete event system displays an outline of the combination model with a thick line. The discrete event system displays an outline of the atom model with a thin line. The discrete event system displays an input port with a white triangle and an output port with a black triangle.
Abstract translation: 目的:提供离散事件系统的图形建模方法,将离散事件仿真形式化的仿真时间管理概念添加到FSA(有限状态自动机)符号,从而使对离散事件系统的理解。 规定:将模拟时间管理功能添加到FSA类型状态转换符号。 离散事件系统由子系统的组合组成,包括输入端口和输出端口作为能够发送和接收数据的接口。 离散事件系统包括与子系统的组合模型和不包括子系统的原子模型。 离散事件系统显示具有粗线的组合模型的轮廓。 离散事件系统使用细线显示原子模型的轮廓。 离散事件系统显示具有白色三角形的输入端口和带有黑色三角形的输出端口。
-
公开(公告)号:KR101299137B1
公开(公告)日:2013-08-22
申请号:KR1020120154495
申请日:2012-12-27
Applicant: 국방과학연구소
CPC classification number: G09B9/003 , G06F17/5009
Abstract: PURPOSE: A command and control model developing and reviewing system and an operating method thereof analyze the effectiveness of a battle simulation by reviewing the performance of a command and control feature information model and unit feature information models based on a model test unit. CONSTITUTION: A feature modeling unit (S110) models feature information about a command and control feature information model and unit feature information models controlled by the command and control feature information model. A formation modeling unit (S120) models a composition structure for the unit feature information models based on the feature information. The feature information includes status information indicating the current status of the command and control feature information model, duration time information indicating a duration time of the current status, internal status transition information indicating developments of the status of the command and control feature information model over time, and external status transition information indicating developments of the status of the command and control feature information model influenced by data sent by the unit feature information models. [Reference numerals] (S110) Function modeling unit; (S120) Composition modeling unit; (S130) Rule modeling unit; (S140) Model test unit; (S150) Simulation engine unit; (S160) Storage unit
Abstract translation: 目的:命令和控制模型的开发和审查系统及其操作方法,通过审查基于模型测试单元的命令和控制特征信息模型和单元特征信息模型的性能来分析战斗模拟的有效性。 构成:特征建模单元(S110)对由命令和控制特征信息模型控制的命令和控制特征信息模型和单元特征信息模型的特征信息进行模型化。 地层建模单元(S120)基于特征信息来模拟单元特征信息模型的组合结构。 特征信息包括指示命令和控制特征信息模型的当前状态的状态信息,指示当前状态的持续时间的持续时间信息,指示命令的状态的发展和控制特征信息模型随时间变化的内部状态转换信息 以及指示由单位特征信息模型发送的数据影响的命令和控制特征信息模型的状态的发展的外部状态转换信息。 [参考号](S110)功能建模单元; (S120)组合建模单元; (S130)规则建模单元; (S140)型号试验机; (S150)模拟发动机单元; (S160)存储单元
-
-
-
-