2022

International Journal

International Conference

Threat Modeling Analysis on FireStormcx's Webcam System

Cho Jong Jin, and Miyoung Kang "Threat Modeling Analysis on FireStormcx's Webcam System" 2022 24th International Conference on Advanced Communication Technology (ICACT)  

DDoS attacks detection in the cloud using K-medoids algorithm

Yoon SeungHo, and Miyoung Kang "DDoS attacks detection in the cloud using K-medoids algorithm" 2022 24th International Conference on Advanced Communication Technology (ICACT) 

Korean Journal

배터리 관리 시스템의 설계 위협 분석 및 위험 평가 연구

박웅섭, 정대희,and 이혁 "배터리 관리 시스템의 설계 위협 분석 및 위험 평가 연구" 한국보과학회 논문지 (2022): 176-188

Korean Conference

스마트 컨트랙트 시큐어 소프트웨어 개발 방법론 연구

윤성호; 이종훈; 김현우; 최진영 and 인호"스마트 컨트랙트 시큐어 소프트웨어 개발 방법론 연구" 블록체인학회 (2022): 1131-1133

PlusCal을 이용한 Chang의 리더 선출 알고리즘 검증

윤성호, and 이혁 "소프트웨어 개발 생명 주기와 정적분석 도구" 한국정보과학회 2022 한국컴퓨터종합학술대회 (KCC 2022): 0291 - 0293

IEC 62443 체크리스트 기반 스마트공장 보안 위협 분석 및 대응 방안

조종진, and 강미영 "IEC 62443 체크리스트 기반 스마트공장 보안 위협 분석 및 대응 방안" 한국정보과학회 2022 한국컴퓨터종합학술대회 (KCC 2022): 0323 - 0325

2021

International Journal

Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems

Hyuk Lee, and  Jin-Young Choi "Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems"  (2020) IEEE ACCESS 8: 165168-165177

Static Equivalence Checking for OpenFlow Networks

Hyuk Lee, and  Jin-Young Choi "Static Equivalence Checking for OpenFlow Networks"  (2020) MDPI  Electronics : 2207-2223

International Conference

Is a False Positive really False Positive?

Choi, Hongjun; Lee, Hyuk, and Choi, Jin-Young "Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers" 2021 23rd International Conference on Advanced Communication Technology (ICACT) : 145-149

Formal Modeling of Smart Contract-based Trading System

Park, Woongsub; Lee, Hyuk and Choi, Jinyoung "Formal modeling of Smart Contract-based Trading System" 2021 23rd International Conference on Advanced Communication Technology (ICACT) : 48-52

Korean Journal

온라인 게임 로그 데이터 클러스터링 기반 일일 단위 게임봇 판별

최홍준, and 최진영 "소프트웨어 개발 생명 주기와 정적분석 도구" 한국정보보호학회 논문지 (2021): 1097-1104

LinuxPTP OSS 정적분석

최홍준, and 최진영 "소프트웨어 개발 생명 주기와 정적분석 도구" 한국정보과학회 학술발표논문집 (2021): 1131-1133

2020

International Journal

Malware Detection in Self-Driving Vehicles Using Machine Learning Algorithms

Seunghyun Park, and Jin-Young Choi"Malware Detection in Self-Driving Vehicles Using Machine Learning Algorithms"  Journal of Advanced Transportation (2020)

Hierarchical Anomaly Detection Model for In-Vehicle Networks Using Machine Learning Algorithms

Seunghyun Park, and Jin-Young Choi"Malware Detection in Self-Driving Vehicles Using Machine Learning Algorithms"  MDPI Seonsors (2020)

Medical Device Safety Management Using Cybersecurity Risk Analysis

Dong-Won Kim; Jin-Young Choi and Keun-Hee Han"Medical Device Safety Management Using Cybersecurity Risk Analysis"  IEEE ACCESS  (2020) 115370-115382 

International Conference

Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers

Miyoung Kang, and Jin-Young Choi "Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers" 14th EAI International Conference (2020): 81-94

Analysis of software weakness detection of CBMC based on CWE

Miyoung Kang, and Jin-Young Choi "Analysis of software weakness detection of CBMC based on CWE" 14th EAI International Conference (2020): 171-175

Korean Journal

Korean Conference

기계학습을 이용한 소스코드 정적 분석 개선에 관한 연구

박양환, and 최진영 "기계학습을 이용한 소스코드 정적 분석 개선에 관한 연구" 한국정보보호학회: 1131-1139

2019

International Journal

Improving TCP Performance in Vehicle-To-Grid (V2G) Communication

Jinwoo Park; Hyohon Kim, and Jin-Young Choi "Improving TCP Performance in Vehicle-To-Grid (V2G) Communication" MDPI Electronics (2019)

International Conference

Risk and avoidance strategy for blocking mechanism of SDN-based security service

Minjae Byun; Yongjun Lee; Jin-Young Choi"Risk and avoidance strategy for blocking mechanism of SDN-based security service" ICACT(2019): 187-190

Korean Journal

Korean Conference

소프트웨어 개발 생명 주기와 정적분석 도구

최홍준, and 최진영 "소프트웨어 개발 생명 주기와 정적분석 도구" 한국정보과학회 학술발표논문집 (2019): 1262-126

2018

International Journal

Constraint Solving Approach to Schedulability Analysis in Real-Time Systems

Lee, Hyuk, and Jin-Young Choi. "Constraint Solving Approach to Schedulability Analysis in Real-Time Systems." IEEE Access 6 (2018): 58418-58426.

Reliable Approximated Number System with Exact Bounds and Three-valued Logic

Cha, Reeseo, Wonhong Nam, and Jin Young Choi. "Reliable approximated number system with exact bounds and three-valued logic." Computer Systems Science and Engineering33, no. 6 (2018): 447-455.

Automatic prevention of buffer overflow vulnerability using candidate code generation

Jang, Young-Su, and Jin-Young Choi. "Automatic prevention of buffer overflow vulnerability using candidate code generation." IEICE TRANSACTIONS on Information and Systems 101, no. 12 (2018): 3005-3018.

Korean Conference

소프트웨어의 신뢰성, 안전성, 보안성 확보를 위한 행정안전부 소프트웨어 개발보안 가이드 발전 방향 연구

이용준, and 최진영. "소프트웨어의 신뢰성, 안전성, 보안성 확보를 위한 행정안전부 소프트웨어 개발보안 가이드 발전 방향 연구." 한국정보과학회 학술발표논문집 (2018): 1265-1267.

원격의료시스템에서 심장박동기의 보안 위협 모델링

박진우, 허승원, and 최진영. "원격의료시스템에서 심장박동기의 보안 위협 모델링." 한국정보과학회 학술발표논문집 (2018): 1262-1264.

2017

International Journal

CAN Database Verification Framework Using UPPAAL

Cho, Beomyeon, Taewook Kim, and Jin-Young Choi. "CAN database verification framework using UPPAAL." Int. J. Comput. Theor. Eng 9, no. 6 (2017): 438-442.

International Conference

Modeling scheduling policy with Constraint Satisfaction Problem approach

Lee, Hyuk, and Jin-Young Choi. "Modeling scheduling policy with Constraint Satisfaction Problem approach." In Proceedings of the International Conference on Embedded Systems, Cyber-physical Systems, and Applications (ESCS), pp. 14-19. The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), 2017.

Formal Specification and Verification of Firewall using TLA+

Kim, Young-Mi, Miyoung Kang, and Jin-Young Choi. "Formal Specification and Verification of Firewall using TLA+." In Proceedings of the International Conference on Security and Management (SAM), pp. 247-251. The Steering Committee of The World Congress in Computer Science, Computer Engineering and Applied Computing (WorldComp), 2017.

Korean Journal

소프트웨어 개발단계 Use-After-Free 보안약점 제거 방안 연구

박용구, and 최진영. "소프트웨어 개발단계 Use-After-Free 보안약점 제거방안 연구." 정보처리학회논문지. 컴퓨터 및 통신시스템 6, no. 1 (2017): 43-50.

Korean Conference

UPPAAL 을 이용한AUTOSAR OS 기반 응용프로그램의 Schedulability 정형검증

김태욱, 장준하, and 최진영. "UPPAAL 을 이용한 AUTOSAR OS 기반 응용프로그램의 Schedulability 정형검증." 한국정보과학회 학술발표논문집 (2017): 589-591.

전기차 충전 선로를 이용한 통신환경에서 TCP 혼잡제어 성능 비교

박진우, and 최진영. "전기차 충전 선로를 이용한 통신환경에서 TCP 혼잡제어 성능 비교." 한국정보과학회 학술발표논문집(2017): 1343-1345.

제약 만족 문제 방식을 통한 스케줄 가능성 분석

이혁, 정언, and 최진영. "제약 만족 문제 방식을 통한 스케줄 가능성 분석." 한국정보과학회 학술발표논문집 (2017): 1611-1613.

2016

International Journal

A Verification Method of SDN Firewall Applications

Kang, Miyoung, Jin-Young Choi, Inhye Kang, Hee Hwan Kwak, So Jin Ahn, and Myung-Ki Shin. "A Verification Method of SDN Firewall Applications." IEICE Transactions on Communications 99, no. 7 (2016): 1408-1415.

Hierarchical System Schedulability Analysis Framework Using UPPAAL

Ahn, So Jin, Dae Yon Hwang, Miyoung Kang, and Jin-Young Choi. "Hierarchical system schedulability analysis framework using UPPAAL." IEICE TRANSACTIONS on Information and Systems 99, no. 8 (2016): 2172-2176.

Korean Conference

위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구

이혁, and 최진영. "위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구." 한국 소프트웨어공학 학술발표논문집 (2016): 324-327.

안전필수 시스템 개발 시 CERT C Coding Standard 활용 연구

조범연, 김보현, 김태욱, 장준하, and 최진영. "안전필수 시스템 개발 시 CERT C Coding Standard 활용 연구." 한국정보과학회 학술발표논문집 (2016): 1384-1386.

보안성이 강화된 ISO 26262 소프트웨어 안전 생명주기 연구

조범연, 김보현, 김태욱, and 최진영. "보안성이 강화된 ISO 26262 소프트웨어 안전 생명주기 연구." 한국정보과학회 학술발표논문집(2016): 413-415.

정형 기법을 이용한 NFV Policy 들의 일치성 검증

구근회, 강미영, 최진영, and 이승익. "정형 기법을 이용한 NFV Policy 들의 일치성 검증." 한국 소프트웨어공학 학술발표논문집 (2016): 307-309.

Z3를 이용한 요구사항 일관성 검증 및 확인테스팅 방안

구근회, and 최진영. "Z3 를 이용한 요구사항 일관성 검증 및 확인 테스팅 방안." 한국정보과학회 학술발표논문집 (2016): 666-668.

동적 심볼릭 수행을 이용한 경계 테스팅 연구

구근회, 최석원, and 최진영. "동적 심볼릭 수행을 이용한 경계 테스팅 연구." 한국정보처리학회 학술발표논문집 (2016): 429-432.

UPPAAL을 사용한 VANET 환경 안전메시지 전송 검증

최석원, 안소진, 임지훈, and 최진영. "UPPAAL 을 사용한 VANET 환경 안전메시지 전송 검증." 한국정보과학회 학술발표논문집(2016): 1256-1258.

MC/DC 커버리지를 만족하는 콘콜릭 테스팅 연구

최석원, 구근회, and 최진영. "MC/DC 커버리지를 만족하는 콘콜릭 테스팅 연구." 한국정보처리학회 학술발표논문집 (2016): 423-425.

임베디드 시스템 내부 바이너리 파일 보안약점 분석 및 탐지방안 연구

박용구, 손윤식, 최진영, and 오세만. "임베디드 시스템 내부 바이너리 파일 보안약점 분석 및 탐지방안 연구." 한국정보과학회 학술발표논문집 (2016): 805-807.

코드 재사용 공격을 방어하기 위한 시큐어 코딩 방안

박용구, and 최진영. "코드 재사용 공격을 방어하기 위한 시큐어 코딩 방안." 한국정보과학회 학술발표논문집 (2016): 1136-1138.

무기체계 내장형 SW 보증

장준하, and 최진영. "무기체계 내장형 SW 보증." 국방기술학회 학술발표논문집 (2016).

항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구

장준하, and 최진영. "항공소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구." 한국정보처리학회 학술발표논문집 (2016): 433-435.

2015

Korean Journal

계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크

안소진, 황대연, and 최진영. "계층적 실시간 시스템 스케줄링 검증을 위한 정형적 프레임워크." 정보과학회 컴퓨팅의 실제 논문지 21, no. 9 (2015): 604-609.

공격트리 (Attack Tree) 를 활용한 원격의료 보안위험 평가

김동원, 한근희, 전인석, and 최진영. "공격트리 (Attack Tree) 를 활용한 원격의료 보안위험 평가." 정보보호학회논문지 25, no. 4 (2015): 951-960.

SIEM 을 이용한 소프트웨어 취약점 탐지 모델 제안

전인석, 한근희, 김동원, and 최진영. "SIEM 을 이용한 소프트웨어 취약점 탐지 모델 제안." 정보보호학회논문지 25, no. 4 (2015): 961-974.

자동차 공급망 위험관리 (A-SCRM) 방안 연구

김동원, 한근희, 전인석, and 최진영. "자동차 공급망 위험관리 (A-SCRM) 방안 연구." 정보보호학회논문지 25, no. 4 (2015): 793-805.

소프트웨어 제품과 프로세스 관점에서 국제표준과 비교를 통한 테스팅 프론티어 역량평가 모델 개선 방안

윤형진, and 최진영. "소프트웨어 제품과 프로세스 관점에서 국제표준과 비교를 통한 테스팅 프론티어 역량평가 모델 개선 방안." 정보과학회 컴퓨팅의 실제 논문지 21, no. 2 (2015): 115-120.

2014

International Journal

Detecting SQL Injection Attacks Using Query Result Size 

Jang Youngsue and Jin-Young Chio , Computer & Security Vol.44, Apr 2014 

Monitoring Translation Lookahead Buffers to Detect Code Injection Attacks 

Youngjung Ahn, Yongsuk Lee, Jin-Young Chio, Gyungho Lee and Dongkyun Ahn , Computer Vol.47, No.7, Jul 2014.

International Conference

The research on vulnerability analysis in OpenADR for Smart Grid 

Mijeong Park, Miyoung Kang and Jin-Young Chio , DARE'14 ECML/PKDD 2014, Sep 2014 

Formal Modeling and Verification for SDN Firewall Application using pACSR 

Miyoung Kang and Jin-Young Chio, Hee-Hwan Kwak, Myung-Ki Shin, and Jong-Hwa Lee , DARE'14 ECML/PKDD 2014, Sep 2014.

Korean Journal

SDN 응용 검증을 위한 프로세스 알지브라 기반 정형기법 

신명기, 이종화, 최윤철, 이지현, 이승익, 강미영, 곽희환, 최진영 , 한국통신학회논문지, Jun 2014.

Korean Conference

SDN을 위한 프로세스 알제브라 기반의 정형검증 

강미영, 곽희환, 신명기, 정재헌, 최진영 , JCCI 2014, Mar 2014.

시큐어 임베디드 소프트웨어 개발을 위한 위협 모델링 기법 

이진호, 황대연, 최진영 , 한국정보과확회 2014 한국 컴퓨터 종합학술대회 논문집, Jun 2014. 

UPPAAL을 이용한 USAT Command Flow 모델링 및 정형검증 

강민정, 강미영, 최진영 , 한국정보과학회 2014 한국 컴퓨터 종합학술대회 논문집, Jun 2014.

Open Source의 SW 보증 : CWE 기준 

박미정, 강미영, 최진영 , 한국정보과학회 2014 한국 컴퓨터 종합학술대회 논문집, Jun 2014.

국제표준 ISO/IEC 9126, ISO.IEC 25010, ISO/IEC.IEEE 29119와 비교한 TMMi, TPI 기반 테스팅 프론티어 역량 평가 모델 개선 방안

윤형진 최진영 , 한국정보과학회 2015 한국 컴퓨터 종합학술대회 논문집, Jun 2014.

FPGA를 사용한 DDS 제어로 질량분석기의 측정 정밀도 향상 방법

김승용, 김응남, 최진영, 김현식 , CICS 2014 , Oct 2014.

위기대응 메뉴얼 분석을 통한 개선방안 연구

이혁, 정금택, 최진영 , 정보과확회 동계학술발표회, Dec 2014.

SDN 정형 검증 도구를 위한 변환 규직

강미영, 신명기, 곽희환, 최진영 , 정보과학회 동계학술발표회, Dec 2014.

계층적 스케줄링 시스템의 스케줄링 가능성 검증을 위한 UPPAAL 모델

안소진, 황대연, 최진영 , 정보과학회 동계학술발표회, Dec 2014.

시큐어 코딩 기반의 하이퍼바이저 오픈소스 정적분석

강민정, 이경운, 안소진, 최진영 , 정보과학회 동계학술발표회, Dec 2014.

SDN의 Firewall 응용의 정형 모델링과 검증

이동호, 강미영, 최윤철, 이종화, 곽희환, 최진영 , 정보과학회 동계학술발표회, Dec 2014.

2013

International Journal

Formal synthesis of application and platform behaviors of embedded software systems

Jinhyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee, Sungwon Kang , Software & Systems Modeling, May 2013.

Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project

Hyun-Seok Min, Sang-Mun Chung, Jin-Young Choi , Journal of Universal Computer Science(J. UCS) Vol 19, No 1. 53-77, Jan 2013.

International Conference

Formal Modeling and Verification of SDN-OpenFlow

Miyoung Kang, Eun-Young Kang, Dae-yon Hwang, Beom-Jin Kim, Ki-Hyuk Nam, Myung-ki Shin and Jin-Young Choi , Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on. IEEE, 2013.

Korean Journal

임베디드 S/W 개발 시프로그래밍 개선점 - MISRA-C를 중심으로

정다혜, 안소진, 최진영 , 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제19권 제3호, 2013년 3월, 149-152.

Process Algebra based Symbolic Verification for Software-Defined Networking(SDN)

Myung-Ki Shin, Hee Hwan Kwak, Jin-Young Choi, Miyoung Kang , Telecommunications Review, 제23권 5호, 2013.

Korean Conference

* 클라우드 환경의 WebOS 상호 인증 보안 스킴

김혜린, 강미영, 최진영 , 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, 2013.11, 805-807.

* 안드로이드의 LMK에 기반한 LRU 알고리즘 조정을 통한 특정어플리케이션의 실행 개시 속도 향상

류상선, 안소진, 최진영 , 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, 2013.11, 423-425.

* 고 신뢰성 시스템을 위한 동적 소프트웨어 업데이트 제안

박미정, 강민정, 최진영 , 2013 한국정보과학회 제40회 정기총회 및 추계학술발표회, 2013.11, 95-97.

* 임베디드 시스템에서의 동적 소프트웨어 업데이트 적용

박미정, 강민정, 최진영 , IEMEK 2013 대한임베디드공학회, 2013년 11월.

* Scyther를 이용한 개선한 WebOS 상호 인증 스킴의 검증 및 분석

김혜린, 강미영, 최진영 , 2013년도 정보보호학회 동계 학술대회 2013년 12월.

2012

International Conference

Process Algebraic Specification of Software Defined Networks

Miyoung Kang, Junkil Park, Ki-Hyuk Nam, Myung-Ki Shin and Jin-Young Chio , CiCSyN 2012, July 2012.

Formal Specification for Software-Defined Networking

Miyoung Kang, Junkil Park, Jeehoon Shin, Ki-Hyuk Nam, Myung-Ki Shin and Jin-Young Chio , CFI 2012, Sept. 2012.

Korean Conference

기존 SCADA시스템 통신모듈의 정형명세 및 검증

이혁, 제정광, 최진영 , KCC 2012 한국정보과학회 , 2012년 6월.

 UPPAAL을 이용한 인공 심장 박동기의 안전성 검사

안소진, 황대연, 최진영 , KCC 2012 한국정보과학회 , 2012년 6월.

2011

International Journal

Generating Composite Behavior of Embedded Software Components based on UML Behavioral Model and Process Algebra

Jin Hyun Kim, Jin-Young Choi, Inhye Kang and Insup Lee, ACM SIGSOFT Software Engineering Notes 36(1): 1-9, Jan. 2011.

Improved User Authentication Scheme with User Anonymity for Wireless Communications

Miyoung Kang, Hyun Sook Rhee, and Jin-Young Choi, IEICE Trans. Fundamentals, VOL.E94-A, NO.2, pp.860-864, Feb. 2011.

Secure communication in IPTV broadcasting

Song-Hee Lee, Nam-Sup Park, and Jin-Young Choi, The Journal of Supercomputing. 2011.

Korean Conference

정형기법을 이용한 M2M 보안 프로토콜의 안전성 검증

김영진, 강미영, 이신재, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

지진 위기대응 매뉴얼에 대한 정형기법의 활용

이혁, 정금택, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

 ANSI-C프로그램내경합상황탐지

안소진, 심재환, 남원홍, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

하이브리드 시스템 프레임워크를 사용한 전장모델링

한영훈, 이해영, 최진영, KCC 2011 한국정보과학회, 2011년 6월.

네트워크 시스템 명세를 위한 Z 기반 프레임워크 

신지훈, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

임베디드 소프트웨어 설계 명세서의 개발 

이진호, 심재환, 고병령, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

하드웨어와 결합도가 높은 임베디드 소프트웨어의 단위 테스팅 기법 

심재환, 이진호, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

SC-ACSR ACSR과 Statechart를 조합한 정형 명세 

황대연, 김진현, 최진영 , KCC 2011 한국정보과학회 , 2011년 6월.

2010

International Journal

Timed and Resource-oriented Statecharts for Embedded Software

inhyun Kim, Inhye Kang, Jin-Young Choi, and Insup Lee, Accepted to IEEE Transactions on Industrial Informatics.

UML Behavior Models of Real-time Embedded Software for Model-Driven Architecture

Jinhyun Kim, Inhye Kang, Jin-Young Choi, and Insup Lee, Accepted to Journal of Universal Computer Science.

International Conference

Modeling Cyber-Physical Systems Using Hybrid System Framework: A Case Study

Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park, International Conference on Research Challenges in Computer Science, 2010, pp.343-346.

Modeling Autonomous Military Robots Using Hybrid System Framework

Jungjae Lee, Reeseo Cha, Younghun Han, Wonhong Nam, Jin-Young Choi, Won-Tae Kim, Seung-Min Park, International Conference on ICT Convergence, 2010, pp.429-430.

A Process Algebraic Framework for Modeling Resource Demand and Supply

Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi, The 8th International Conference on Formal Modeling and Analysis of Timed Systems, LNCS 6246/2010, pp.183-197.

Experiences on Requirements Analysis of Railway Signaling Systems based on Formal Methods

Jinho Lee, Hyuk Lee, Jin-Young Choi, Yongki Yoon, ITS World Congress 2010, Busan.

Korean Conference

안드로이드 앱 시큐어 코딩 가이드 연구

오준석, 최진영 , 제34회 한국정보처리학회 추계학술대회 논문집 제17권 제2호, pp. 252-255, 2010년 11월.

안드로이드 앱 API 코딩 가이드 연구

오준석, 강미영, 최진영 , 한국정보과학회 제 37회 추계학술발표회, Vol37 No2(C), pp. 129-132, 2010년 11월.

정형기법을 통한 위기대응 매뉴얼 신뢰성 향상

정금택, 이혁, 서석, 최진영 , 제34회 정보처리학회 추계학술발표대회, 논문집 제17권 제2호, pp. 280-282, 2010년 11월.

시큐어 코딩을 적용한 입력유효성 검사 기법제안

오준석, 최진영 , KCC 2010 한국정보과학회 추계학술대회, June 2010.

Top 2 가장 위험한 프로그래밍 오류들 피해사례 및 해결방안 제시

오준석, 김영진, 최진영 , CISC S'10 한국정보보호학회 추계학술대회 vol 20 no 1, June 2010.

정형기법을 적용한 위기대응 실무매뉴얼 명세 및 검증

정금택, 이진호, 서석, 최진영 , KCC 2010 한국정보과학회 하계학술대회, 논문집 제37권 제1호, pp. 116-119, 2010년 6월.

AVISPA를 이용한 On-Line Secure E-passport Protocol의 명세 및 검증

김현수, 정연오, 최진영 , 제33회 한국정보처리학회 춘계 학술발표대회 논문집 제17권 제1호, 2010년 4월.

SPARK Ada 기반 안전필수 내장형 시스템 개발

오준석, 김진현, 최진영 , 제33회 한국정보처리학회 춘계 학술발표대회 논문집 제17권 제1호, April 2010.

디자인 패턴을 이용한 안전필수 시스템 설계

이혁, 이진호, 황종규, 최진영 , 제33회 한국정보처리학회 춘계 학술발표대회 논문집 제17권 제1호, pp.1013-1016, April 2010.

Z 모델 기반 명세 기법

신지훈, 윤용기, 최진영 , 제 33 회 한국정보처리학회 춘계학술발표대회 논문집 제 17권 제 1호, 2010년 4월.

고신뢰 융합소프트웨어를 위한 소프트웨어 공학 기술 적용

차성덕, 인호, 최진영, 김선한, 백두권, 백준걸, 이희조, 장길수, 최재순, 이정주, 남원홍, 이상은, 이혁재, 선요섭 , 2010 한국 소프트웨어공학 학술대회 논문집 제12권 제1호, pp.304-311, 2010년 2월.

2009

International Journal

Model Checking of Real-Time Properties of Resource-Bound Process Algebra

Junkil Park, Jungjae Lee, Jin-Young Choi, and Insup Lee, IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E92-A, No. 11, pp.2781-2789, 1 Nov. 2009 ISSN (Print : 0916-8508, Online : 1745-1337).

Ensuring Sound Numerical Simulation of Hybrid Automata

Yerang Hur, Jae-Hwan Sim, Jesung Kim, and Jin-Young Choi, Journal of Computing Science and Engineering, Vol. 3,No. 2, pp.73-87, June, 2009, ISSN: 1976-4677.

International Conference

Automatic Test Generation for System using UML Statechart

Hyunseok Min, Jin-Young Choi, SERP 2009, USA, July 2009.

Automatic Consistency Checking of Use Case Scenarios

Hyunseok Min, Jin-Young Choi, SEA 2009, USA, November 2009.

Security Policy Modeling Using Z Notation for Common Criteria Version 3.1

Junkil Park, Jin-Young Choi, ICACT 2009, Korea, February 2009, pp 137-142.

FMIPv6 based Secure Binding Update Authentication in Wireless Vehicular Networks

Song-Hee Lee, Nam-Sup Park, and Jin-Young Choi, IEEE ISWPC, Melbourne, Australia, February 2009.

QoS-Driven Web Service Composition Using Learning-based Depth First Search

Wonhong Nam, Hyunyoung Kil, Jungjae Lee, The 11th IEEE Conference on Commerce and Enterprise Computing (CEC'09), pp.507-510, 2009.

Cryptanalysis of Secure Key Exchange Protocol Between STB and Smart Card in IPTV Broadcasting

Song-Hee Lee, Nam-Sup Park, Soo-Kyun Kim and Jin-Young Choi, LNCS5576, ISA, CGMS, Korea, June 2009.

Korean Journal

스마트카드를 이용한 패스워드 기반 인증시스템 정형분석 

김현석, 김주배, 정연오, 한근희, 최진영, 정보과학회 논문지:시스템 및 이론, 제 36권 4호, pp.304-310, 정보과학회 2009.

Korean Conference

RATS를 활용한 공개소프트웨어 보안성 검사

이혁, 이정재, 심재환, 서동수, 최진영 , 한국정보보호학회 동계학술대회 논문집 제19권 제2호, pp.183-186, December 2009.

Combining 분기 예측기에서의 Choice 분기 예측기의 포화 카운터에 관한 연구

안영정, 황대연, 이용석, 최진영 , 제36회 한국정보과학회 추계 학술발표대회 논문집 제36권 제2호 (B), pp.450-454, November 2009.

Correctness by Construction을 적용한 안전필수 시스템 개발

신지훈, 오준석, 윤용기, 최진영 , 제36회 한국정보과학회 추계 학술발표대회 논문집 제36권 제2호 (B), pp.97-102, November 2009.

Agile 방법을 적용한 웹 서비스 제품 개발 프로세스의 CMMI 적용에 관한 연구 : Scrum 기반의 프로세스 개선 사례 중심

박은석, 안소진, 최진영 , 제32회 한국정보처리학회 추계 학술발표대회 논문집 제16권 제2호, pp.819-820, November 2009.

효율적인 자동화 코드 인스펙션(Automated Code Inspection)을 위한 필수 결함 검출 규칙 수립

곽수정, 최진영 , 제32회 한국정보처리학회 추계 학술발표대회 논문집 제16권 제2호, pp.811-812, November 2009.

Design by Contract 기법과 시큐어 코딩을 통한 안전한 소프트웨어 개발 연구

오준석, 황대연, 최진영 , 제32회 한국정보처리학회 추계 학술발표대회 논문집 제16권 제2호, pp.855-856, November 2009.

Improvement of L*-based Assume Guarantee Reasoning

Jungjae Lee, Jin-Young Choi , Proceedings of the 32th KIPS Fall Conference, Vol. 16, No. 2, pp.873-874, Nov. 2009.

템플레이트를 이용한 철도제어시스템 정형명세 개발 프레임워크

이진호, 최진영, 윤용기 , 제32회 한국정보처리학회 추계 학술발표대회 논문집 제16권 제2호, pp.879-880, November 2009.

상태차트를 이용한 열차제어시스템 요구사항의 명세 및 검증

이혁, 황종규, 최진영 , 제32회 한국정보처리학회 추계 학술발표대회 논문집 제16권 제2호, pp.871-872, November 2009.

Developing error-free safety-critical software with Design by Contract method

Joon-Seok Oh, JungJae Lee, Hee-Jun You, Jin-Young Choi , The 5th National Defence Information and Control Technology Conference, Sep 2009.

Embedded software development applying Correctness by Construction

Jee Hoon Shin, So Jin Ahn, Joon-Seok Oh, Jin-Young Choi , The 5th National Defence Information and Control Technology Conference, Sep 2009.

Formal Specification and Vulnerability Analysis of 3-D Secure Using Formal Methods

Yeonoh Jeong, Hyunsu Kim, Hyunseok Kim, Jin-Young Choi , KCC 2009, July 2009.

Z specification and formal verification for Distance Control System

Jeehoon Shin, JunKil Park, Miyoung Kang, Jin-Young Choi , KCC 2009, Korea, July 2009.

A Study on Development Document of EAL6 Evaluation: Smart Card Operating Systems

Yeonoh Jeong, Junkil Park, Jin-Young Choi, Dong-Soo Seo, Hee-Jun Yoo , Conference on Information Security and Cryptology, Vol.19, No.1, pp.48-51, June 2009.

The Specification and Verification of E-commerce Payment System Using Formal Methods

Yeonoh Jeong, Hyunsu Kim, Hyunseok kim, Jin-Young Choi , Conference on Information Security and Cryptology, Vol.19, No.1, pp.207-210, June 2009.

Correctness by Construction을 적용한 KCOS모듈 개발

Jee Hoon Shin, Joon-Seok Oh, JungJae Lee, Jin-Young Choi , Conference on Information Security and Cryptology, Vol.19, No.1, pp.78-81, June 2009.

Statechart를 이용한 CC 3.1 기반 EAL6 ADV_TDS 개발 문서 작성

Yeonoh Jeong, Hyuk Lee, Hyunseok Kim, Jin-Young Choi , Proceedings of 2009 Korea Conference on Software Engineering, Vol.11, No.1, pp.222-229, Feb 2009.