Theory and Formal Methods Lab.


2016

International Journal


* A Verification Method of SDN Firewall Applications
Miyoung Kang, Jin-Young Choi, Inhye Kang, Heehwan Kwak, Sojin Ahn and Myung-Ki Shin , IEICE Transactions on Communications, 99(7) pp.1408-1415, July 2016

* Hierarchical System Schedulability Analysis Framework Using UPPAL
Sojin Ahn, Daeyon Hwang, Miyoung Kang and Jin-Young Choi , IEICE Transactions on Information and Systems, 99(8) pp.2172-2176, Aug 2016


International Conference



Korean Journal


* 소프트웨어 개발단계 Use-After-Free 보안약점 제거 방안 연구
박용구 , 정보처리학회논문지 : 컴퓨터 및 통신 시스템 , 2016. 12


Korean Conference


* 위기대응 매뉴얼 신뢰성 향상을 위한 검증방안 연구
이혁 , 한국소프트웨어공학 학술대회 논문집, 2016. 01

* 정형기법을 이용한 NFV Policy들의 일치성 검사
구근회, 강미영, 최진영, 이승익 , 소프트웨어공학회(KCSE), 2016. 01

* Z3를 이용한 요구사항 일관성 검증 및 확인테스팅 방안
구근회, 최진영 , 한국정보과학회 제42회 하계학술발표회, 2016. 06

* UPPAAL을 사용한 VANET 환경 안전메시지 전송 검증
최석원, 안소진, 임지훈, 최진영 , 한국정보과학회 제42회 하계학술 발표회, 2016. 06

* 코드 재사용 공격을 방어하기 위한 시큐어 코딩 방안
박용구, 최진영 , 한국정보과학회 제42회 하계학술 발표회, 2016. 06

* 무기체계 내장형 SW 보증
장준하, 최진영 , 2016 국방기술학회 추계학술대회, 2016. 10

* 동적 심볼릭 수행을 이용한 경계 테스팅 연구
구근회, 최석원, 최진영 , 한국정보처리학회 추계학술대회, 2016. 11

* MC/DC 커버리지를 만족하는 Concolic 테스팅 연구
최석원, 구근회, 최진영 , 한국정보처리학회 추계학술대회, 2016. 11

* 항공 소프트웨어 설계단계와 감항인증에서의 정형검증 적용연구
장준하, 최진영 , 한국정보처리학회 추계학술대회, 2016. 11

* 임베디드 시스템 파일 내부 보안약점 탐지 연구 분석
박용구, 손윤식, 최진영, 오세만 , 한국정보과학회 제43회 동계학술발표회, 2016. 12

* 보안성이 강화된 ISO 26262 소프트웨어 안전 생명주기 연구
조범연, 김보현, 김태욱, 최진영 , 한국정보과학회 제43회 동계학술발표회, 2016. 12

* 안전필수 시스템 개발 시 CERT C Coding Standard 활용방안 연구
조범연, 김보현, 김태욱, 장준하, 최진영 , 한국정보과학회 제43회 동계학술발표회, 2016. 12





SNS

  • Facebook Group
  • Yammer


  • ©all rights reserved