ScholarWorks@Korea University: CHOI, Jin Young

Detailed Information

CHOI, Jin Young (최진영)

Department of Information Security

Research Area

Tel 3200
Homepage

ResearcherID ORCiD Scopus Google Scholar ID ResearchGate

Keyword

UPPAAL:3||formal methods:3||satisfiability modulo theories:2||TCP congestion control:2||정형검증:2||ACSR:2||formal modeling:2||Statecharts:2||realtime schedulability analysis:2||connected car:2||softwaredefined networking:2||V2G:2||Constraint satisfaction problem:2||Medical information security:1||Smart medical security:1||Realtime systems:1||Medical services:1||Risk management:1||buffer overflow vulnerability:1||Embedded software systems:1||Risk Management:1||secure coding:1||정형기법:1||Telemedicine Risk Management:1||hackers:1||System:1||Deadlock:1||Smart card:1||Radio Frequency Identification (RFID):1||Task analysis:1||Standards:1||Biomedical equipment:1||information security:1||Process algebra:1||international standard:1||software assurance:1||hierarchical scheduling system:1||authentication:1||wireless communications:1||Preliminary Security Assessment:1||Embedded software:1||Behavior Models:1||Undetectable online guessing attack:1||패스워드 인증:1||Radio Frequency Identification(RFID: 무선주파수식별):1||Generative AI:1||texttoimage generation:1||Processor scheduling:1||Medical devices:1||cybercare:1||pACSR:1||역량평가 모델:1||software testing:1||capability assessment model:1||schedulability verification framework:1||Web applications:1||Sensitive operation:1||Query result size:1||UML:1||Consistency:1||IPTV:1||Game BOT:1||Formal Models:1||스마트카드:1||Offline guessing attack:1||Formal verification:1||Security Protocol:1||Privacy:1||prompt editing:1||Model checking:1||Tools:1||Formal Methods:1||Exact Bounds:1||TCP 혼잡제어 알고리즘:1||schedulability analysis:1||Realtime operating systems:1||Modeldriven development:1||계층적 스케줄링 시스템:1||Automotive Supply Chain Risk Management:1||Telemedicine Security:1||MDA:1||model checking:1||resourcebound process algebra:1||오프라인 추측공격:1||hierarchical approach:1||security management:1||Approximated Number System:1||커넥티드카:1||Realtime embedded systems:1||Formal methods and engineering:1||ESM:1||국제표준:1||Input validation:1||Code injection:1||security:1||Secure communication:1||Formal analysis:1||anonymity:1||statecharts:1||Password authentication:1||invehicle network security:1||machine learning:1||MLHC:1||Telemedicine security:1||Safety:1||software security monitoring:1||Threevalued Logic:1||PLC 통신:1||formal verification:1||TRoS:1||Software Vulnerability:1||테스팅 프론티어:1||testing frontier:1||SQL injection:1||TLB:1||Realtime Embedded Software:1||realtime temporal logic:1||Passwordbased key exchange protocol:1||BPR model:1||보안 프로토콜:1||OpenFlow:1||contextaware:1||controller area network:1||anomaly detection:1||Telecare security:1||multiprocessor schedulability analysis:1||V2G 통신:1||hierarchical system:1||realtime systems:1||Secure Coding:1||Managed Security Service:1||SIEM:1||소프트웨어 테스팅:1||소프트웨어 보증:1||Sanitization:1||data execution prevention:1||invasive software:1||State Machine Diagram:1||Test:1||platformbased development:1||process algebra:1||프라이버시:1||intrusion detection system:1||Analytical models:1||Automata:1||Computer security:1||power line communication:1||Hierarchical Scheduling:1||시큐어 코딩:1||스케줄링 가능성 검증 프레임워크:1||ASCRM:1||SSCA:1||OnlineGame Security:1||actionbased modeling:1||Formal Verification:1||forwarding behavior equivalence check:1||constraint satisfaction problem:1||

RSS_1.0 RSS_2.0 ATOM_1.0

145 Anam-ro, Seongbuk-gu, Seoul, 02841, Korea+82-2-3290-2963

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.

Detailed Information

Keyword

BROWSE