암호프로토콜 논리성 자동 검증에 관한 연구

권태경 ,  양숙현 ,  김승주 외 1명

정보보호학회논문지

2003 .02

암호 프로토콜의 정형적 사양 및 분석 기법

이진석 ,  신기수 ,  이강수

정보보호학회지

1995 .03

암호 하드웨어 모듈의 테스트를 위한 검증 도구

양인제 ,  경동욱 ,  김동규

한국멀티미디어학회 학술발표논문집

2003 .05

암호기술 구현물 검증도구 구현

이종후 ,  김충길 ,  이재일 외 2명

정보보호학회논문지

2001 .04

암호모듈 검증 정책에 관한 연구

최명길 ,  정재훈

한국산학기술학회 논문지

2011 .01

금융부문 암호기술의 안전성 강화를 위한 보안고려사항

김영태 ,  이수미 ,  노봉남

정보보호학회논문지

2009 .08

암호화 프로토콜에 있어서 DES를 이용한 디지털 서명 ( Digital Signature using DES in Cryptographic Protocol )

박흥주 ,  박창균 ,  한승조

한국통신학회 학술대회논문집

1991 .01

암호 함수의 구성 방법에 관한 연구 ( A Study on the Construction Methods of Cryptographic Functions )

김광조 ,  송본면 ,  금정수수 외 1명

한국통신학회논문지

1991 .01

암호 하드웨어 모듈의 신뢰성 검증 도구

경동욱 ,  김동규

한국정보과학회 학술발표논문집

2004 .04

공개키 암호시스템을 위한 암호알고리즘 검증기준 연구

최완승 ,  안정우 ,  이옥연 외 1명

한국통신학회 학술대회논문집

2013 .01

시간 페트리네트를 이용한 암호 프로토콜의 명세 및 분석 방법론

이강수 ,  이진석 ,  김광조

(구)정보과학회논문지

1995 .07

프로토콜 개발 도구 기능 및 요구사항 분석

박기식 ,  김영태 ,  오행석

한국통신학회 학술대회 및 강연회

1998 .07

철도 신호시스템을 위한 새로운 통신 프로토콜의 성능해석 및 검증

李在浩 ,  黃宗奎 ,  朴容震 외 1명

전기학회논문지 B

2004 .06

ASK 모바일 프로토콜 취약점 분석 및 수정

류갑상 ,  김일곤 ,  김현석 외 3명

정보과학회논문지 : 정보통신

2006 .02

부 채널 공격에 대한 암호모듈 평가기준 분석

정재구 ,  신재인 ,  이강수

한국멀티미디어학회 학술발표논문집

2009 .11

암호와 프로토콜의 정의 및 분류

권창영

한국컴퓨터정보학회지

1997 .02

Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증

최원빈 ,  김승주

정보보호학회논문지

2018 .02

철도신호설비 상호간 정보전송을 위한 통신 프로토콜 검증시험

황종규 ,  이재호 ,  윤용기 외 1명

철도저널

2004 .06

무인이동체와 이를 제어하는 GCS간의 암호화 통신을 제공하기 위한 암호키 주입기에 관한 연구

김승찬 ,  허의남

한국정보과학회 학술발표논문집

2020 .07

정형 검증 도구를 이용한 보안 소프트웨어 개발 방안

장승주

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2006 .04