정보시스템 인증을 위한 정형기법의 활용

References

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