A Assumptions Statement Generation Method for Security Environment of Protection Profile

PP의 보안환경을 위한 가정문장 생성방법

This paper presents a new assumptions statement generation method for developing TOE security environment section of PP. We surveyed on guides on the assumption statement in CC scheme, and collected and analyzed hundred of assumption statements which are in 26 certified and published real PPs and CC Toolbox/PKB. The CC Toolbox/PKB is included a class of pre-defined assumption statements. From the result of the survey, we developed a new generic assumption statement list, and proposed a assumption derivation method by using the list.

본 논문에서는 PP내의 보안환경 부분 중 환경에 대한 가정문장을 작성하는 방법을 제시한다. CC에서 가정에 관련된 요구 사항을 살피고, 기존 PP들에서 실제 사용한 가정문장과 NIST의 PKB내의 가정문장을 토대로 하여 새로운 "일반 가정문장 목록"과 이를 이용한 가정문장 생성 방법을 제시하였다.방법을 제시하였다.