ScholarWorks@고려대학교

상세 보기

A Study of Security Analysis Methodology for Tactical Data Link System using Formal Verification

  • CHOI, Jin Young
제목
A Study of Security Analysis Methodology for Tactical Data Link System using Formal Verification
저자
CHOI, Jin Young
학회명
Proceeding of Korea Military Science and Technology Conference 2007
개최국가
대한민국
학회 개최일
2007-08-16 ~ 2007-08-17

ScholarWorks@고려대학교

02841 서울특별시 성북구 안암로 145 Tel. 02-3290-2963

COPYRIGHT © 고려대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.