earticle

Clinical Protocol for Safety and Efficacy Verification for Datection of Coronary Artery Stenosis by Angiography and Ultrasound System

Jeong Ho Jo, Sang Woo Kim, Sung Min Kim, Byeong Choel Choi

한국에프디시규제과학회(구 한국에프디시법제학회) 한국에프디시법제학회 학술대회 고품질 식품·의약품·화장품의 법제서비스와 글로벌화 전략 2013.11 p.165

저작권자의 주권 강화를 위한 DID 기반 검증 프로토콜 설계 KCI 등재

김호윤, 신승수

대한산업경영학회 산업융합연구(구 대한산업경영학회지) 제20권 제9호 2022.09 pp.47-58

3GPP RLC 프로토콜의 검증 및 평가 테스트베드의 구축 KCI 등재

성정환, 서효중

한국인터넷방송통신학회 한국인터넷방송통신학회 논문지 제13권 제3호 2013.06 pp.111-118

기상 조건을 감안하여 VILS와 HILS를 결합한 EURO NCAP test protocol 및 검증 시스템 개발

진민수, 박원일, 김용석, 이석기, 정준화

한국ITS학회 한국ITS학회 학술대회 C-ITS 기술과 그 미래를 위한 새로운 패러다임 2019.11 p.592

자동차 보안시스템에서 통신 인증프로토콜의 보안성 검증 KCI 등재

한명석, 배우식

한국디지털정책학회 디지털융복합연구 제12권 제8호 2014.08 pp.229-234

차량보안을 위한 OTP기반 인증/보안 프로토콜 개발 및 검증

신대교, 정한균, 김성철, 진성근, 장수현

한국ITS학회 한국ITS학회 학술대회 SMART MOBILITY : New Horizon 2018.11 pp.588-589

RFID 시스템에 적용시 안전한 보안인증 프로토콜의 모델검증 KCI 등재

배우식, 정석용, 한군희

한국디지털정책학회 디지털융복합연구 제11권 제4호 2013.04 pp.221-227

함수 기반의 체내 삽입장치용 보안 인증프로토콜 검증 KCI 등재

배우식, 한군희

한국디지털정책학회 디지털융복합연구 제12권 제5호 2014.05 pp.249-254

세션키 및 공개키를 이용한 RFID 보안 인증 프로토콜의 안전성 검증 KCI 등재

배우식, 이종연

한국디지털정책학회 디지털융복합연구 제10권 제10호 2012.11 pp.325-332

난수발생기의 랜덤성 검증기술에 대한 연구

김성철, 정한균, 진성근, 장수현, 신대교

한국ITS학회 한국ITS학회 학술대회 SMART MOBILITY : New Horizon 2018.11 pp.463-464

정형검증 도구인 Casper를 이용한 VANET 인증 프로토콜 분석 KCI 등재후보

이수연, 안효범

한국융합보안학회 융합보안논문지 제12권 제1호 2012.03 pp.27-33

상호 호환성 검증을 위한 IoT 기반의 CoAP 프로토콜 구현 및 실험 KCI 등재

김문권, 김도현

한국인터넷방송통신학회 한국인터넷방송통신학회 논문지 제14권 제4호 2014.08 pp.7-12

교통신호제어기와 검지기간의 국제 인터페이스 표준검증 연구

이승환, 고광용, 김남선, 이환필, 유수영, 조원창

한국ITS학회 한국ITS학회 학술대회 2010년 한국ITS학회 추계학술대회 2010.10 pp.121-128

An Advanced Efficient Secured Blind Authentication and Verification Crypto Protocol

S. Princy Suganthi Bai, S. Selvakani Kandeeban

보안공학연구지원센터(IJFGCN) International Journal of Future Generation Communication and Networking Vol.4 No.3 2011.09 pp.87-94

Development of Communication Protocol Verification Tool for Vital Railway Signaling Systems

Hwang, Jong-Gyu, Jo, Hyun-Jeong, Lee, Jae-Ho

[Kisti 연계] 대한전기학회 Journal of electrical engineering & technology Vol.1 No.4 2006 pp.513-519

Verification of Authentication Protocol for CDMA Mobile Communication Network

Hong, Ki-Yoong, Kim, Seok-Woo, Kim, Dong-Kyoo

[Kisti 연계] 한국정보과학회 Journal of electrical engineering and information science Vol.1 No.1 1996 pp.82-90

Formal Verification Network-based Protocol for Railway Signaling Systems

Hwang, Jong-Gyu, Lee, Jae-Ho

[Kisti 연계] 제어로봇시스템학회 제어로봇시스템학회 학술대회논문집 2004 pp.354-357

Design and Verification of Seamless Handoff Protocol over Mobile IPv4

박병준, 송병권, 정태의

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.58-60

SOC Bus Transaction Verification Using AMBA Protocol Checker

Lee, Kab-Joo, Kim, Si-Hyun, Hwang, Hyo-Seon

[Kisti 연계] 대한전자공학회 Journal of semiconductor technology and science Vol.2 No.2 2002 pp.132-140

Development of Verification and Conformance Test Generation of Communication Protocol for Railway Signaling Systems

Lee, Jae-Ho, Hwang, Jong-Gyu, Seo, Mi-Seon, Kim, Sung-Un, Park, Gwi-Tae

[Kisti 연계] 제어로봇시스템학회 제어로봇시스템학회 학술대회논문집 2004 pp.358-362