Earticle

초록

한국어

정보보호시스템의 국제공통평가기준인 CC(또는 ISO/IEC 15408)에서는 평가용 문서(즉, 제출물)에 대한 세부지 침을 포함하지 않고 있으므로, CC기반 평가체계를 구축하기 위해서는 문서 스키마(즉, 목차와 내용요구사항)를 개발해야 한다. 본 논문에서는 CC기반 평가체계에서 활용할 수 있는 문서 스키마를 개발하였다. CC내의 보증클 래스로부터 Weakest precondition함수, 문서량 축소규칙, 문서 종속성 분석방법을 적용하여 문서스키마와 DTD를 개발하였다. 본 연구의 접근방법은 소프트웨어 품질의 평가체계에서 사용할 문서스키마 또는 DTD를 개발하는데 응용될 수 있다

영어

CC does not Contain detailed instructions about evaluation document. So, we must develop document schema to make CC-based evaluation system. In this report, we developed document schema that can be used in CC-based evaluation system. We devloped document schema and DTD that applying Weakest precondition function, reduction rules about amount of document and dependancy analysis document from assurance class within CC. Approach of this study can be applied to develop document and DTD that can be used in evaluation system of software quality.

목차

요약
 ABSTRACT
 1. 서론
 2. 문서의 내용 요구사항 분석
  2.1 Weakest precondition 함수
  2.2 wp함수의 적용 결과
 3. 문서 스키마 설계
  3.1 문서 스키마의 구조 설계
  3.2 문서량의 축소
 4. CC기반 평가용 문서의 DTD정의
 5. 문서의 종속성 분석
  5.1 문서 종속성의 정의
  5.2 문서 종속성의 분석 방법
 6. 다른 기준들의 문서와의 비교 및 평가
 7. 결론
 참고문헌

저자

• 김점구 [ Jeom Goo Kim | 남서울대학교 컴퓨터학과 ]

참고문헌