지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2009.8
- 수록면
- 91 - 103 (13page)
이용수
초록· 키워드
오류제보하기
암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계(Cryptographic Module Validation Program, CMVP) 내에서 시험(또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM)이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다.
목차
요약
ABSTRACT
Ⅰ. 서론
Ⅱ. 관련연구
Ⅲ. 상태도의 정의 및 특성
Ⅳ. 상태도 검증방법
Ⅴ. 상태도 작성도구 CM-statecharter의 구현
Ⅵ. 분석 및 결론
참고문헌
〈著者紹介〉
참고문헌 (34)
참고문헌 신청
1. [기타자료] - / 2001 / FIPS PUB 140-2, Security Requirements for Cryptographic Modules
2. [기타자료] - / 2006 / ISO/IEC 19790: 2006(E), Security Requirements for Cryptographic Modules
3. [기타자료] - / 2007 / FIPS PUB 140-3(DRAFT), Security Requirements for Cryptographic Modules
4. [기타자료] - / 2004 / Derived Test Requirements(DTR) for FIPS PUB 140-2, Security Requirements for Cryptographic Modules
5. [기타자료] - / 2008 / ISO/IEC 24759:2008, Test Requirements for Cryptographic Modules
2. [기타자료] - / 2006 / ISO/IEC 19790: 2006(E), Security Requirements for Cryptographic Modules
3. [기타자료] - / 2007 / FIPS PUB 140-3(DRAFT), Security Requirements for Cryptographic Modules
4. [기타자료] - / 2004 / Derived Test Requirements(DTR) for FIPS PUB 140-2, Security Requirements for Cryptographic Modules
5. [기타자료] - / 2008 / ISO/IEC 24759:2008, Test Requirements for Cryptographic Modules
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
FSM 설계를 위한 상태할당 알고리듬 ( A State Assignment Algorithm for FSM Design )
대한전자공학회 학술대회
1992 .01
-
FSM을 이용한 실시간 차량 동역학 모델 해석
대한기계학회 춘추학술대회
2015 .04
-
Cycle - C를 이용한 제어흐름 중심의 FSM 설계
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2005 .02
-
FSM 함성기에서의 상태 최소화 알고리듬 개발 ( the State Minimization Algorithm Development in FSM Synthesis )
대한전자공학회 학술대회
1991 .01
-
FSM을 이용한 해양안전정보시스템의 고도화에 대한 연구
한국지능시스템학회 학술발표 논문집
2012 .11
-
상위 수준 설계 기술에서의 FSM 자동 생성 시스템 ( Automatic FSM Generation from Behavioral Design Description )
대한전자공학회 학술대회
1990 .07
-
계층적 FSM 에서 동시실행 및 동기화 지원 방법
제어로봇시스템학회 국내학술대회 논문집
2012 .04
-
FSM(Functional Suspension Model)
기계저널
2006 .11
-
고장검출도가 고려된 FSM 상태할당 ( FSM State Assignment Considering Testability )
대한전자공학회 학술대회
1996 .01
-
고장검출도가 고려된 FSM 상태할당
대한전자공학회 학술대회
1996 .05
-
FSM을 이용한 Web Mining 방법에 관한 연구
한국지능시스템학회 학술발표 논문집
2003 .12
-
전자상거래에서 FSM을 이용한 고객구매패턴 분석
한국전자거래학회지
2003 .08
-
Vhdl로부터 Fsm 추출 ( Fsm Extraction from Vhdl )
대한전자공학회 학술대회
1991 .11
-
FSM의 직관적인 모델링을 위한 에디터 설계
한국정보과학회 학술발표논문집
2003 .04
-
FSM 기반의 자율 에이전트를 이용한 시뮬레이션 시스템의 설계 및 구현
한국정보과학회 학술발표논문집
2007 .06
-
Program Development of 2D Incompressible Natural Gas Flow employing FSM
한국가스학회 학술대회논문집
2018 .05
-
암호모듈 검증 정책에 관한 연구
한국산학기술학회 논문지
2011 .01
-
FSM을 이용한 기업프로젝트 성공요인의 의식구조분석
한국지능시스템학회 논문지
2009 .10
-
관계 데이타베이스 기법과 FSM 모델을 이용한 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
-
위험도 기반 화재안전관리 시스템(FSMS)의 제안
한국화재소방학회지
2000 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2009-569-018667028