소프트웨어 아키텍처 기반설계 모델 및 명세기법 개발

제1장 서론
제1절 연구 배경
제2절 연구 범위
제2장 소프트웨어 아키텍처의 개요 및 설계 프로세스
제1절 소프트웨어 아키텍처 개요
제2절 소프트웨어 아키텍처 설계 프로세스
제3절 설계 지침
제4절 ATAM 프로세스
제3장 소프트웨어 아키텍처 스타일
제1절 Layered 스타일
제2절 Model-View-Controller (MVC) 스타일
제3절 Client-Server 스타일
제4절 Pipes and filters 스타일
제5절 Publish-Subscribe 스타일
제6절 Peer-to-Peer 스타일
제7절 Blackboard 스타일
제8절 Repository 스타일
제9절 기타
제4장 보안구조(ADV_ARC)의 소프트웨어 공학적 분석
제1절 Architectural Soundness에 대한 해석

제2절 Self-Protection에 대한 해석
제3절 Domain Isolation에 대한 해석
제4절 Non-bypassability에 대한 해석
제5절 보안 아키텍처 명세서
제5장 TOE 설계(ADV_TDS)의 소프트웨어 공학적 분석
제1절 설계 명세서의 충분성 (Sufficiency)
제2절 Formalism에 대한 해석
제3절 서브시스템과 모듈
제4절 컴포넌트 계층관계
제6장 ADV_ARC에 특화된 아키텍처 설계 프로세스
제1절 (단계 1) 보안관련 자원 식별
제2절 (단계 2) 보안정책 정의
제3절 (단계 3) 위협 요소 식별
제4절 (단계 4) 보안 설계 및 구현
제5절 (단계 5) 보안 위험 평가
제7장 아키텍처 설계 명세 기법
제1절 기존 아키텍처 명세서
제2절 아키텍처 설계 명세서 작성 기법
참고문헌