Digital Library
Search: "[ author: 김승주 ]" (65)
정형 기법을 이용한 하드웨어 AES 모듈 백도어 탐색 연구
박재현,
김승주,
Vol. 29, No. 4, pp. 739-751,
8월.
2019
10.13089/JKIISC.2019.29.4.739
주제어: hardware backdoor, formal method, model checker
10.13089/JKIISC.2019.29.4.739
주제어: hardware backdoor, formal method, model checker
위협모델링과 공통평가기준을 활용한 인포테인먼트의 안전한 업데이트 보안요구사항 분석
강수영,
김승주,
Vol. 29, No. 3, pp. 613-628,
6월.
2019
10.13089/JKIISC.2019.29.3.613
주제어: Threat modeling, STRIDE, IVI(In-Vehicle-Infotainment), SOTA(Security Over-The-Air), CC(Common Criteria), Threat modeling, STRIDE, IVI(In-Vehicle-Infotainment), SOTA(Security Over-The-Air), CC(Common Criteria)
10.13089/JKIISC.2019.29.3.613
주제어: Threat modeling, STRIDE, IVI(In-Vehicle-Infotainment), SOTA(Security Over-The-Air), CC(Common Criteria), Threat modeling, STRIDE, IVI(In-Vehicle-Infotainment), SOTA(Security Over-The-Air), CC(Common Criteria)
X-box를 이용한 Session-oriented Cross play에 대한 보안 요구사항 분석
김동우,
강수영,
김승주,
Vol. 29, No. 1, pp. 235-255,
2월.
2019
10.13089/JKIISC.2019.29.1.235
주제어: Threat modeling, STRIDE, LINDDUN, Security Requirements, Cross-play, Console game, Threat modeling, STRIDE, LINDDUN, Security Requirements, Cross-play, Console game
10.13089/JKIISC.2019.29.1.235
주제어: Threat modeling, STRIDE, LINDDUN, Security Requirements, Cross-play, Console game, Threat modeling, STRIDE, LINDDUN, Security Requirements, Cross-play, Console game
AI 스피커의 보안성 평가 및 대응방안 연구
이지섭,
강수영,
김승주,
Vol. 28, No. 6, pp. 1523-1537,
12월.
2018
10.13089/JKIISC.2018.28.6.1523
주제어: AI Speaker, Threat modeling, STRIDE, LINDDUN, AI Speaker, Threat modeling, STRIDE, LINDDUN
10.13089/JKIISC.2018.28.6.1523
주제어: AI Speaker, Threat modeling, STRIDE, LINDDUN, AI Speaker, Threat modeling, STRIDE, LINDDUN
무기체계의 사이버보안 시험평가체계 구축방안 연구
이지섭,
차성용,
백승수,
김승주,
Vol. 28, No. 3, pp. 765-774,
6월.
2018
10.13089/JKIISC.2018.28.3.765
주제어: cybersecurity, Test and Evaluation, Weapon Systems, cybersecurity, Test and Evaluation, Weapon Systems
10.13089/JKIISC.2018.28.3.765
주제어: cybersecurity, Test and Evaluation, Weapon Systems, cybersecurity, Test and Evaluation, Weapon Systems
위협 모델링 분석 및 국제공통평가기준을 통한 스마트홈 허브의 보안요구사항에 관한 연구
박재현,
강수영,
김승주,
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
10.13089/JKIISC.2018.28.2.513
주제어: Smart Home, Privacy, Threat modeling, LINDDUN, criteria, Smart Home, Privacy, Threat modeling, LINDDUN, criteria
모바일 포렌식 증거 수집방안 연구: 제조사 백업 앱 기반 데이터 획득 기법
최재원,
김승주,
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
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
10.13089/JKIISC.2018.28.1.53
주제어: formal, Verification, cryptography, cryptol, saw, formal, Verification, cryptography, cryptol, saw
