암호프로토콜 논리성 검증도구 개발에 관한 연구

권태경 ,  김승주 ,  송보연

정보보호학회지

2002 .04

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

이진석 ,  신기수 ,  이강수

정보보호학회지

1995 .03

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

최명길 ,  정재훈

한국산학기술학회 논문지

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

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

양인제 ,  경동욱 ,  김동규

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

2003 .05

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

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

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

2013 .01

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

최원빈 ,  김승주

정보보호학회논문지

2018 .02

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

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

정보보호학회논문지

2001 .04

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

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

전기학회논문지 B

2004 .06

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

권창영

한국컴퓨터정보학회지

1997 .02

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

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

철도저널

2004 .06

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

김승찬 ,  허의남

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

2020 .07

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

이강수 ,  이진석 ,  김광조

(구)정보과학회논문지

1995 .07

하드웨어 암호화 기법의 설계 및 성능분석

아재용 ,  고영웅 ,  홍철호 외 1명

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

2002 .12

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

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

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

2006 .02

자동화 크레인을 위한 네트워크 프로토콜의 성능 평가

하경남 ,  김만호 ,  이경창 외 1명

제어로봇시스템학회 논문지

2005 .08

국내외 암호 표준을 집적한 암호 프로세서의 구현

전신우 ,  윤희진 ,  정용진

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

2001 .11