논문 목록

주요 논문 기타 국제학술대회 논문
  • Reduce False Alarms in Static Code Analysis with Test Code Mutants
    Hyun Woo Park and Kyung-Goo Doh
    ACCN 2015: International Conference On Advances in Computing, Control and Networking, Bangkok, Thailand, January 25, 2015.
  • Quantitative Trust Management to Support QoS-aware Service Selection in Service-Oriented Environments
    Yukyong Kim and Kyung-Goo Doh
    ICPADS-CCC: Crowd and Cloud Computing Workshop, in conjunction with ICPADS2013 conference, Seoul, Korea, December 15, 2013
  • Automatic detection of access control vulnerabilities in Web applications by URL crawling and forced browsing
    Ho-Gil Song, Yukyong Kim and Kyung-Goo Doh
    Proc. International Conference on Information Science and Technology
    Part 2, pp.482-486, Shanghai, China, April 2012
  • Detection of DOM-based cross-site scripting by dynamically extracted scripts
    Suman Saha, Shizhen Jin and Kyung-Goo Doh
    Proc. International Conference on Information Science and Technology
    Part 2, pp.482-486, Shanghai, China, April 2012
  • Hyunha Kim, Tae-Hyoung Choi, Seung-Cheol Jung, Oukseh Lee, Kyung-Goo Doh, and Soo-Yong Lee
    Rule-based source-code analysis for security vulnerability detection
    WISA 2009: The 10th International Workshop on Information Security Applications, Busan, South Korea, August 25~27, 2009
  • Yukyong Kim and Kyung-Goo Doh, Adaptable Web servises modeling using variability analysis, Third International Conference on Convergence and Hybrid Information Technology, Busan, Korea, IEEE Computer Society, pp.700~705, November 11~13, 2008.
  • Hyunha Kim, Tae-Hyoung Choi, Seung-Cheol Jung, Hyoung-Cheol Kim, Oukseh Lee, and Kyung-Goo Doh, Applying dataflow analysis to detecting software vulnerability, International Conference on Advanced Communication Technology, Korea, IEEE Computer Society, pp.255~258, February 17~22, 2008.
  • Yukyong Kim and Kyung-Goo Doh, Trust type based semantic Web services assessment and selection, International Conference on Advanced Communication Technology, Korea, IEEE Computer Society, pp.2048~2053, February 17~22, 2008.
  • Yukyong Kim and Kyung-Goo Doh, A trust type based model for managing QoS in Web services composition, International Conference on Convergence Information Technology, Gyeongju, Korea, IEEE Computer Society, pp.438~443, November 21~23, 2007.
  • Ki-Hwan Choi, Hye-Ryeong Jeong, Kyung-Goo Doh, Joonseon Ahn, and Byeong-Mo Chang A type system for checking consistencies of a policy specification used in ubiquitous programming environment, International Conference on Convergence Information Technology, Gyeongju, Korea, IEEE Computer Society, pp.444~449, November 21~23, 2007.
  • Kyung-Goo Doh and Seung Cheol Shin, Analysis of secure information flow by model checking, APLAS 2001, 2nd Asian Workshop on Programming Languages and Systems, KAIST, Korea, December 17~18, 2001.
  • Kyung-Goo Doh and Hyun-Goo Kang, Online partial evaluation of actions, IWAS 1999, 2nd International Workshop on Action Semantics, Amsterdam, Netherland, March 21, BRICS Notes Series NS-99-3, pp.71~88, 1999.
  • Kyung-Goo Doh and David A. Schmidt, The facets of action semantics: some principles and applications, In Proceedings of IWAS 1994, 1st International Workshop on Action Semantics, Edinburgh, Scotland, April 14, BRICS Notes Series NS-94-1, University of Aarhus, Denmark, pp.1~15, 1994.
  • Kyung-Goo Doh, Action semantics: a tool for developing programming languages, In Proceedings of InfoScience 1993, International Conference on Information Science and Technology, Seoul, Korea, October 21~22, Korea Information Science Society, pp.432~439, 1993.
  • Kyung-Goo Doh, James Bieman and Albert Baker, "Generating a standard representation from Pascal programs", Technical Report #86-15, Department of Computer Science, Iowa State University, December 1986.

국내논문지

  • 이효섭, 도경구, "CCR: 트리패턴 기반의 코드클론 탐지기", 한국소프트웨어감정평가학회논문지, 제8권, 제2호, 13~28, 2012년 12월.
  • 김현하, 김유경, 도경구, "SOA를 위한 모델기반 취약점 분석", 한국소프트웨어감정평가학회논문지, 제8권, 제2호, 45~52, 2012년 12월.
  • 이지연, 창병모, 안준선, 도경구, "상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근제어 시스템", 정보처리학회논문지, 제15-A권, 제1호, 2008년 2월 29일.
  • 최태형, 김정준, 도경구, "웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석", 정보보호학회논문지, 제17권, 제6호, 2007년 12월.
  • 이효섭, 도경구, 주영도, "AST를 기반으로 한 프로그램 클론 검출 방법", 한국소프트웨어감정평가학회논문지, 제3권, 제1호, 35~42, 2007년 5월.
  • 이효섭, 임흥태, 도경구, "프로그램 표절 탐지를 위한 프로그램 유사성 측정 방법 조사", 한국소프트웨어감정평가학회논문지, 2005.
  • 신승철, 변석우, 정주희, 도경구, "명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석", 정보과학회논문지 : 소프트웨어 및 응용, 제31권, 제5호, 667-676, 2004. [가헌학술상 수상 논문]
  • 임흥태, 신승철, 도경구, "집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석", 프로그래밍언어논문지, 제17권, 제3호, 67-76, 2003.11
  • 최성권, 신승철, 도경구, "정보 흐름에 대한 SSA 기반 분석", 프로그래밍언어논문지, 제17권, 제3호, 77-84, 2003.11
  • 조순희, 신승철, 도경구, "바이트코드 정보흐름 분석기의 구현", 프로그래밍언어논문지, 제16권, 제3호, 55-62, 2002.10
  • 조영갑, 도경구, 신승철, "SMV를 이용한 정보 흐름 안전성의 모델 검사", 프로그래밍언어논문지, 제15권, 제2호, 39-48, 2001.11
  • 도경구, "액숀의미표기법을 통한 객체의 이해", 정보처리논문지, 제7권, 제12호, 3976-3985, 2001.12
  • 도경구, "액숀의미방식에 의한 언어모듈의 정의와 확장", 정보과학회논문지:소프트웨어 및 응용, 제27권, 제8호, 902-911, 2000.08
  • 강현구, 도경구, "액숀의 온라인 부분계산", 정보과학회논문지(B), 제26권, 제12호, 1531-1541, 1999.12

국내학술대회

  • 김세진, 도경구, "동적 요청에 대한 응답 소스코드 분석을 통한 DOM 기반 크로스 사이트 스크립팅 취약점 탐지", 한국정보과학회 학술발표논문집, Vol.38, No.2C, 168~171, 2011
  • 송호길, 도경구, "크롤링을 이용하여 웹 애플리케이션의 접근 제어 취약점을 자동으로 탐지하는 기법", 한국정보과학회 학술발표논문집, Vol.38, No.2C, 172~175, 2011
  • 조소희, 오세광, 김유경, 도경구, "동적 웹서비스조합을 위한 QoS 중개자 모델", IT-컨버전스 합동학술대회 논문집, 146~148, 전주, 2008.02.21
  • 오세광, 조소희, 김유경, 도경구, "QoS를 보장하는 신뢰도 기반 웹서비스 발견", IT-컨버전스 합동학술대회 논문집, 149~151, 전주, 2008.02.21
  • 정혜령, 최기환, 도경구, 안준선, 창병모, "유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사", 한국정보처리학회 '07 ㅊ, 제14권 제2호 목포대학교, 2007.11.09~10
  • 신재호, 강경구, 안준선, 창병모, 도경구, 상황인식 역할 기반 접근 제어에 기반한 유비쿼터스 환경 정책 기술 언어, 한국정보과학회 '07 추계학술대회, 2007.
  • 이효섭, 도경구, 주영도, "트리를 기반으로 한 프로그램 클론 검출 방법", 한국IT지적재산권관리학회 '07 춘계학술발표대회논문집, 배재대학교, 2007.06.01
  • 이지연, 오민경, 창병모, 안준선, 도경구, "유비쿼터스 컴퓨팅을 위한 접근제어와 상황적을 시스템", 한국정보과학회 가을 학술발표논문집, 제33권 제2호, 590~594, 2006.11
  • 이효섭, 도경구, "프로그램 표절 검출 방법에 대한 조사", 한국정보과학회 '05 하계학술발표논문집, 피닉스파크, 2005.07.06-08
  • 신승철, 도경구, 이수호, "요약해석을 이용한 정보흐름 제어", 한국정보과학회 '02 춘계학술발표논문집, 한양대학교, 2002.04.26-27
  • 강현구, 도경구, "온라인 액숀 부분계산", '98 추계학술발표회논문집, 부산대학교, 한국정보과학회 프로그래밍언어연구회, 36-45, 1998.09.25-26
  • 곽노건, 도경구, "부분계산에 의한 할당액숀의 자동처리", 한국정보과학회 '97 가을 학술발표논문집(IV), 이화여자대학교, 제24권 2호, 371-374, 1997.10.24-25
  • 강현구, 도경구, "액숀의미구조를 통한 객체지향언어의 의미 고찰", 한국정보과학회 '97 가을 학술발표논문집(IV), 이화여자대학교, 제24권 2호, 355-358, 1997.10.24-25

교내논문지

  • 강현구, 도경구, "액숀 의미구조를 통한 객체지향 언어의 의미고찰", 공학기술논문집, 한양대학교 공학기술연구소, 제7권, 제1호, 313-319, 1998
  • 도경구, "액숀의 부분계산", 산업과학논문집, 한양대학교 산업과학연구소, 제43권, 131-143, 1996
  • 도경구, 액숀의미론에 의한 함수형 언어의 설계, 공학기술논문집, 한양대학교 공학기술연구소, 제5권, 제1호, 175-183, 1996

국내학회지

  • 도경구, 곽노건, "타입시스템에 의한 체계적인 복합형 프로그래밍", 정보과학회지, 제15권, 제1호, 16-20, 1997.01
  • 도경구, "의미론적 정의로 부터 컴파일러의 자동생성", 정보과학회지, 제14권, 제7호, 18-26, 1996.07

기타

  • 도경구, "기관탐방: 한국정보통신진흥협회", 정보과학회지, 제16권, 제3호, 47-48, 1998.03
  • 도경구, "학술활동 발전방향에 관한 의견", 정보과학회 프로그래밍언어연구회지, 제11권, 제1호, 4, 1997\
  • 도경구, "차세대 프로그래밍언어 특집을 내면서", 정보과학회지, 제15권, 제1호, 4, 1997.01
  • 도경구, "기초연구에 많이 투자합시다", 연구개발 한마당, 4월호, 18-19, 1996.04