채널 Overflow를 고려한 Circular Exploration에 의한 프로토콜 검증 기법

이흥범 ,  권용무 ,  박용진

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

1987 .04

분산 다중 호 관리 프로토콜의 설계 및 검증 ( The Design and Validation of the Protocol of Distributed Multiple Call Management )

정문구 ,  배시규 ,  이원열 외 1명

대한전자공학회 학술대회

1994 .11

행렬방정식을 이용한 프로토콜 검증 방법 연구 ( Protocol Validation Using Matrix Equations )

오행석

대한전자공학회 학술대회

1996 .01

프로토콜 검증장치에 관한 연구 ( A Study on Protocol Test Facility )

인소란 ,  권은희 ,  진병문 외 1명

대한전자공학회 학술대회

1985 .01

V5.2 프로토콜 활용 방안 연구

홍미정 ,  이상목 ,  김정수

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

2001 .07

확장된 Petri Nets을 이용한 TDX 내부 프로토콜 검증

노철우 ,  성단근

(구)정보과학회논문지

1991 .02

프로토콜 리버스 엔지니어링을 위한 객관적 평가 및 검증 방법에 관한 연구

구영훈 ,  심규석 ,  이민섭 외 2명

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

2018 .06

CAN 프로토콜을 이용한 네트워크 시스템의 성능 분석

金大元 ,  崔煥洙

전기학회논문지 D

2001 .05

프로토콜의 합성에 관한 연구 ( A study on protocol synthesis )

박기완 ,  김종상

대한전자공학회 학술대회

1982 .01

패스워드 기반 인증 프로토콜 K1P의 확장 ( Extending the Password-based Authentication Protocol K1p )

권태경 ,  송주석

한국통신학회논문지

1998 .07

프로토콜 정확성 검증에 관한 연구

윤현수

한국통신학회 전기통신학술연구과제

1991 .01

Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )

이명직 ,  박종민 ,  이정태 외 2명

한국통신학회 워크샵

1998 .01

통신 프로토콜의 성능 분석

김연숙 ,  이정태

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

1997 .04

통신 프로토콜의 성능분석 ( Performance Analysis of Communication Protocols )

김연숙 ,  이정태

대한전자공학회 학술대회

1997 .01

PMI 인증서 검증 위임 및 검증 프로토콜

이승훈 ,  송주석

정보보호학회논문지

2003 .02

경로기반 상호인증을 위한 효율적 프로토콜

김홍석 ,  박세현

대한전자공학회 학술대회

2000 .06

2차원 시뮬레이션 환경에서의 탐색기법

김정태 ,  김대진

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

2008 .10

Protocol 검증 및 시험

김동규

한국통신학회 워크샵

1987 .01

프로토콜 검증 방법론

최영한

한국통신학회 워크샵

1996 .08

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

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

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

2006 .02