Korean | English

pISSN : 1975-7700 / eISSN : 2734-0570

http://journal.kci.go.kr/kkits
Home > Explore Content > All Issues > Article View
이전논문 14 of 15 다음논문

Formal Specification of Cryptographic Security Protocols

  • Publisher : Korea Knowledge Information Technology Society
  • Research Area : Interdisciplinary Research
  • Received : November 21, 2019
  • Accepted : December 7, 2019
  • Published : December 31, 2019

Lee, Gyesik 1

1한경대학교

등재

Citation status

이 논문은 한국연구재단의 지원을 받아 작성되었습니다.

Search PDF

Close X

Citation

Close X
타입을 선택하세요 :
@article{ART002537526},
author={Lee, Gyesik},
title={Formal Specification of Cryptographic Security Protocols},
journal={Journal of Knowledge Information Technology and Systems},
issn={1975-7700},
year={2019},
volume={14},
number={6},
pages={711-718},
doi={10.34163/jkits.2019.14.6.014}