Digital Library


Search: "[ author: 김승주 ]" (62)
    모바일 포렌식 증거 수집방안 연구: 제조사 백업 앱 기반 데이터 획득 기법
    최재원, 김승주, Vol. 28, No. 1, pp. 95-110, 2월. 2018
    10.13089/JKIISC.2018.28.1.95
    주제어: digital forensic, Data Acquisition, Android, Smartphone, backup app, digital forensic, Data Acquisition, Android, Smartphone, backup app

    Cryptol을 이용한 국내 표준 블록 암호 모듈의 자동 정형 검증
    최원빈, 김승주, Vol. 28, No. 1, pp. 53-60, 2월. 2018
    10.13089/JKIISC.2018.28.1.53
    주제어: formal, Verification, cryptography, cryptol, saw, formal, Verification, cryptography, cryptol, saw