ScholarWorks@동국대학교

상세 보기

스마트 카드 응용 프로그램 사이에 보안 통신을 하는 방법에 대한 Z 언어로 쓰여진 공식적인 사양서

A Formal Z Specification of A Secured Communication Method For Smart Card Applications

김동환

제목: 스마트 카드 응용 프로그램 사이에 보안 통신을 하는 방법에 대한 Z 언어로 쓰여진 공식적인 사양서

제목 (타언어): A Formal Z Specification of A Secured Communication Method For Smart Card Applications

저자: 김동환

발행일: 2014-10-24

출원번호: 출원번호 없음

등록번호: C-2014-026362

출원일: 2014-10-24

등록일: 2014-10-24