Digital Library

Search: "[ keyword: Verification ]" (28)
    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

    MTM하드웨어 기반 스마트 단말 보안 핵심기술 구현
    김정녀, Vol. 26, No. 6, pp. 1455-1460, 12월. 2016
    10.13089/JKIISC.2016.26.6.1455

    금융회사의 개인정보 이용 동의 구현에 대한 효과성 개선 모델
    장기현, 이경호, Vol. 26, No. 1, pp. 247-258, 2월. 2016
    10.13089/JKIISC.2016.26.1.247

    인터넷은행을 위한 개선된 본인확인 구조
    홍기석, 이경호, Vol. 25, No. 6, pp. 1503-1514, 12월. 2015
    10.13089/JKIISC.2015.25.6.1503

    분산 환경에서의 효율적인 콘텐츠 인증 기술
    김대엽, Vol. 25, No. 4, pp. 839-848, 8월. 2015
    10.13089/JKIISC.2015.25.4.839

    얼굴 포즈 추정을 이용한 다중 RGB-D 카메라 기반의 2D - 3D 얼굴 인증을 위한 시스템
    김정민, 이성철, 김학일, Vol. 24, No. 4, pp. 607-616, 8월. 2014
    10.13089/JKIISC.2014.24.4.607

    보안관제 효율성 제고를 위한 실증적 분석 기반 보안이벤트 자동검증 방법
    김규일, 박학수, 최지연, 고상준, 송중석, Vol. 24, No. 3, pp. 507-522, 6월. 2014
    10.13089/JKIISC.2014.24.3.507

    개인정보 DB 암호화 검증 프레임웍 제안
    고영대, 이상진, Vol. 24, No. 2, pp. 397-410, 4월. 2014
    10.13089/JKIISC.2014.24.2.397

    디지털 포렌식을 위한 증거 분석 도구의 신뢰성 검증
    이태림, 신상욱, Vol. 21, No. 3, pp. 165-176, 6월. 2011
    10.13089/JKIISC.2011.21.3.165

    상관관계 공격에 강인한 지문퍼지볼트 시스템
    문대성, 채승훈, 정용화, 김성영, 김정녀, Vol. 21, No. 2, pp. 13-26, 4월. 2011
    10.13089/JKIISC.2011.21.2.13

Forms






항목별 검색

출판 목록