참고문헌
- 정보시스템 공통평가기준, 정보통신부 2002
- MOD 00-55, The Procurement of Safety Critical Software in Defence Equipment, 1991
- RTCA DO178-B, Software Considerations in Airborne Systems and Equipment Certification, 1992
- 정보보호시스템 인증현황, KISA 세미나 자료, 2003
- http://www.commoncriteriaportal.org
- Bruns G., Anderson, S, Gaining Assurance with Formal Methods, Applications of Formal Methods, Prentice Hall, 1995, pp.33-54
- Woodcock J., Davis J., Using Z, Prentice Hall, 1996
- Dsoza, A, Bloom, B. Generating BDD Model from Process Algebra Terms, Computer Aided Verification LNCS 939, 1995 pp.16-30
- Leavens G., Poll E 외. JML Reference Manual, May 2006