Model-Driven Security Framework for Security System Design and Verification

According to some embodiments of the present disclosure, disclosed is a method for designing and verifying a security system by using a model-based security framework performed by a processor of a computing device. The method may comprise: a threat modeling step for deriving a security requirement o...

Full description

Saved in:
Bibliographic Details
Main Authors KIM YEJUN, KIM SEUNGJOO, KANG SOOYOUNG
Format Patent
LanguageEnglish
Korean
Published 26.05.2022
Subjects
CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
Online AccessGet full text

Cover

More Information
Summary:According to some embodiments of the present disclosure, disclosed is a method for designing and verifying a security system by using a model-based security framework performed by a processor of a computing device. The method may comprise: a threat modeling step for deriving a security requirement of a system to be designed; a design modeling step for generating a design model based on the security requirement and verifying the design model; and an implementation modeling step for generating an implementation model based on the design model and verifying the implementation model. 본 개시의 몇몇 실시예에 따라 컴퓨팅 장치의 프로세서에 의해 수행되는 모델 기반 보안 프레임워크를 이용하여 보안 시스템 설계 및 검증을 수행하는 방법이 개시된다. 상기 방법은: 설계 대상 시스템의 보안 요구사항을 도출하기 위한 위협 모델링 단계; 상기 보안 요구사항에 기초하여 설계 모델을 생성하고, 상기 설계 모델을 검증하기 위한 설계 모델링 단계; 및 상기 설계 모델에 기초하여 구현 모델을 생성하고, 상기 구현 모델을 검증하기 위한 구현 모델링 단계;를 포함할 수 있다.
Bibliography:Application Number: KR20210020251