Digital Library


Search: "[ author: 박재현 ]" (2)
    정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
    박재현, 김승주, Vol. 29, No. 4, pp. 739-751, 8월. 2019
    10.13089/JKIISC.2019.29.5.739
    주제어: hardware backdoor, formal method, model checker, hardware backdoor, formal method, model checker

    위협 모델링 분석 및 국제공통평가기준을 통한 스마트홈 허브의 보안요구사항에 관한 연구
    박재현, 강수영, 김승주, Vol. 28, No. 2, pp. 513-528, 4월. 2018
    10.13089/JKIISC.2018.28.2.513
    주제어: Smart Home, Privacy, Threat modeling, LINDDUN, criteria, Smart Home, Privacy, Threat modeling, LINDDUN, criteria