Digital Library
Search: "[ keyword: Verification ]" (28)
임베디드 CPU 에뮬레이션 기반 부채널 취약점 검증 프레임워크 연구
김한빛,
박정형,
Vol. 35, No. 5, pp. 1009-1028,
10월.
2025
10.13089/JKIISC.2025.35.5.1009
주제어: Side-Channel Attack, Vulnerability verification, Emulation
주제어: Side-Channel Attack, Vulnerability verification, Emulation
Solana CPI 기반의 스마트 컨트랙트 보안 취약점 및 경량 보안 기법에 관한 연구
우재영,
김혜영,
박정민,
남시영,
Vol. 35, No. 5, pp. 999-1008,
10월.
2025
10.13089/JKIISC.2025.35.5.999
주제어: Solana, Smart Contract Security, Cross-Program Invocation, Anchor Framework, Runtime Verification
주제어: Solana, Smart Contract Security, Cross-Program Invocation, Anchor Framework, Runtime Verification
최신 ASV에서의 적대적 공격과 방어: a-DCF 기반 성능 평가
이요원,
정수환,
홍기훈,
Vol. 35, No. 2, pp. 277-286,
4월.
2025
10.13089/JKIISC.2025.35.2.277
주제어: Automatic speaker verification, adversarial attacks, Biometric Security, a-DCF
주제어: Automatic speaker verification, adversarial attacks, Biometric Security, a-DCF
프라이버시 보호를 위한 얼굴 인증이 가능한 비식별화 얼굴 이미지 생성 연구
이정재,
최대선,
나현식,
옥도민,
Vol. 33, No. 2, pp. 201-210,
4월.
2023
10.13089/JKIISC.2023.33.2.201
주제어: De-Identification, Face Verification, Face privacy, Generative Adversarial Network, Decision-based attack
주제어: De-Identification, Face Verification, Face privacy, Generative Adversarial Network, Decision-based attack
IoT 인프라 공격 확산 방지 기술 성능 검증을 위한 악성코드 고속 확산 기법 연구
황송이,
김정녀,
Vol. 31, No. 4, pp. 617-635,
8월.
2021
10.13089/JKIISC.2021.31.4.617
주제어: IoT Malware, propagation, Malware attack tool, Verification
주제어: IoT Malware, propagation, Malware attack tool, Verification
STFT와 RNN을 활용한 화자 인증 모델
김민서,
문종섭,
Vol. 29, No. 6, pp. 1393-1401,
12월.
2019
10.13089/JKIISC.2019.29.6.1393
주제어: Speaker verification, STFT, Deep Learning, Recurrent Neural Network(RNN), Speaker verification, STFT, Deep Learning, Recurrent Neural Network(RNN)
주제어: Speaker verification, STFT, Deep Learning, Recurrent Neural Network(RNN), Speaker verification, STFT, Deep Learning, Recurrent Neural Network(RNN)
미국 공급망 보안 관리 체계 분석
손효현,
김광준,
이만희,
Vol. 29, No. 5, pp. 1089-1097,
10월.
2019
10.13089/JKIISC.2019.29.5.1089
주제어: Supply Chain Risk Management, Supply Chain Evaluation and Verification, Supply Chain Attack, SCRM, Supply Chain Risk Management, Supply Chain Evaluation and Verification, Supply Chain Attack, SCRM
주제어: Supply Chain Risk Management, Supply Chain Evaluation and Verification, Supply Chain Attack, SCRM, Supply Chain Risk Management, Supply Chain Evaluation and Verification, Supply Chain Attack, SCRM
고신뢰 드론 시스템을 위한 스케줄링 측면에서의 서비스 거부 공격 완화 방안 연구
곽지원,
강수영,
김승주,
Vol. 29, No. 4, pp. 821-834,
8월.
2019
10.13089/JKIISC.2019.29.4.821
주제어: High-Assurance, Formal specification, Verification, denial of service, drone system
주제어: High-Assurance, Formal specification, Verification, denial of service, drone system
안드로이드 간편결제 애플리케이션 보안 솔루션 결과값 변조를 통한 검증기능 우회 방법에 대한 연구
유재욱,
한미정,
김규헌,
장준영,
진호용,
지한별,
신정훈,
김경곤,
Vol. 28, No. 4, pp. 827-838,
8월.
2018
10.13089/JKIISC.2018.28.4.827
주제어: mobile payment, android security, Security Solution, Android Security Verification, mobile payment, android security, Security Solution, Android Security Verification
주제어: mobile payment, android security, Security Solution, Android Security Verification, mobile payment, android security, Security Solution, Android Security Verification