PLASSE

Publications

International Publications


2015 (1)
2013 (3)
  • (accepted) Yukyong Kim, Kyung-Goo Doh. A Trust Management Model to Support QoS-Aware Service Selection in Service-Oriented Environments. Information - an International Interdisciplinary Journal. 2013
2012 (4)
2011 (1)
  • Kyung-Goo Doh, Hyunha Kim, David A. Schmidt. Abstract LR-Parsing. In Proc. Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer Berlin Heidelberg. 2011
2009 (7)
  • Kyung-Goo Doh, David A. Schmidt. An action semantics based on two combinators. In Proc. Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday. Springer-Verlag. September 2009
  • Hyunha Kim, Tae-Hyoung Choi, Seung-Cheol Jung, Oukseh Lee, Kyung-Goo Doh, Soo-Yong Lee. Rule-based source-code analysis for security vulnerability detection. In Proc. 10th International Workshop on Information Security Applications. August 2009
  • Muhammad Shahid Ansari, Noman Zahid, Kyung-Goo Doh. A Comparative Analysis of XML Schema Languages. In Proc. The 10th International Workshop on Information Security Applications. 2009
2008 (3)
  • Yukyong Kim, Kyung-Goo Doh. Adaptable Web servises modeling using variability analysis. In Proc. Third International Conference on Convergence and Hybrid Information Technology. November 2008
  • Yukyong Kim, Kyung-Goo Doh. Trust type based semantic Web services assessment and selection. In Proc. The 10th International Conference on Advanced Communication Technology. February 2008
2007 (5)
  • Yukyong Kim, Kyung-Goo Doh. An approach to modeling context-adaptable services. In Proc. In Invited Session: Context-Aware Adaptable Systems and Their Applications In KES 2007: 11th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems. Springer Berlin Heidelberg. September 2007
2006 (2)
2003 (1)
2002 (1)
1999 (1)
  • Kyung-Goo Doh, Hyun-Goo Kang. Online partial evaluation of actions. In Proc. 2nd International Workshop on Action Semantics. BRICS Notes Series NS-99-3. March 1999
1995 (1)
1994 (1)
  • Kyung-Goo Doh, David A. Schmidt. The facets of action semantics: some principles and applications. In Proc. 1st International Workshop on Action Semantics. BRICS Notes Series NS-94-1. April 1994
1993 (2)
  • Kyung-Goo Doh. Action semantics: a tool for developing programming languages. In Proc. International Conference on Information Science and Technology. Korea Information Science Society. October 1993
1992 (1)
1986 (1)
  • Kyung-Goo Doh, James Bieman, Albert Baker. Generating a standard representation from Pascal programs. Department of Computer Science, Iowa State University.Technical Report #86-15, 1986

Domestic Publications


  • 최성하, 도경구. 멜론 레퍼런스 코퍼스를 기준으로 exEyes의 재현율평가. 한국소프트웨어감정평가학회 제11권 제1호. pp. 31-39. 2015년 6월
  • 최성하, 도경구. Bellon Reference Corpus 보정. 한국정보과학회 춘계학술대회논문집. pp. 1719-1721. 2015년 6월
  • 김현하, 도경구. 요약파싱기법을 사용한 웹 접근성의 정적 분석. 한국정보과학회논문지 제41권 제12호. pp. 1099-1109. 2014년 12월
  • 도경구 최성하. exEyes의 감정평가. 한국소프트웨어감정평가학회 추계학술대회. pp. 727-729. 2014년 12월
  • 오정욱, 도경구. SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 구현 및 실험. 한국정보과학회 동계학술발표회논문집. pp. 727-729. 2014년 12월
  • 오정욱, 도경구. SQL/NoSQL Injection 취약점 자동 침투 시험 도구의 설계. 한국정보처리학회 추계학술대회논문집. pp. 431-434. 2014년 11월
  • 홍성문, 신승철, 도경구. 지식베이스를 이용한 보안취약점 정적분석. 한국정보과학회 한국컴퓨터종합학술대회논문집. pp. 1618-1620. 2014년 6월
  • 홍성문, 신승철, 도경구. 지식베이스를 이용한 보안취약점 탐지기 구현 및 평가. 한국소프트웨어감정평가학회 춘계학술대회. 2014년 5월
  • 김나래, 이욱세, 도경구. 양방향 정적분석을 통한 정수구간 명세 자동유추의 실험. 한국정보과학회 한국컴퓨터종합학술대회논문집. pp. 1627-1629. 2014년 6월
  • 김현하, 김유경, 도경구. SOA를 위한 모델기반 취약점 분석. 한국소프트웨어감정평가학회논문지 제8권 제2호. pp. 45-52. 2012년 12월
  • 이효섭, 도경구. CCR: 트리패턴 기반의 코드클론 탐지기. 한국소프트웨어감정평가학회논문지 제8권 제2호. pp. 13-28. 2012년 12월
  • 송호길, 도경구. 크롤링을 이용하여 웹 애플리케이션의 접근 제어 취약점을 자동으로 탐지하는 기법. 한국정보과학회 가을 학술발표논문집. pp. 172-175. 2011년 11월
  • 김세진, 도경구. 동적 요청에 대한 응답 소스코드 분석을 통한 DOM 기반 크로스 사이트 스크립팅 취약점 탐지. 한국정보과학회 가을 학술발표논문집. pp. 168-171. 2011년 11월
  • 김유경, 도경구. 차세대 소프트웨어 품질 표준 SQuaRE 이해. 한국소프트웨어감정평가학회논문지 제7권 제1호. pp. 41-50. 2011년
  • 이효섭, 도경구. 코드클론 표본 집합체 자동 생성기. 한국소프트웨어감정평가학회논문지 제7권 제1호. pp. 29-39. 2011년
  • 김유경, 도경구. 실행시간 의존성 측정을 통한 SOA 취약성 평가. pp. 129-142. 2011년
  • 도경구 이효섭. 코드클론 표본 집합체 자동 생성기. 한국소프트웨어감정평가학회 춘계학술대회. 2011년 6월
  • 이효섭, 도경구. Code Clone Ransacker : 트리기반 코드클론 수집기. 한국소프트웨어감정평가학회 추계학술대회. 2010년 11월
  • 권현준, 김현하, 도경구. 소프트웨어 보안취약성 자동진단도구 개발 사례. 정보과학회지 제28권 제2호. pp. 37-40. 2010년 2월
  • 김유경, 도경구, 주영도. 서비스 유연성을 높이기 위한 유스케이스 가변성 분석 기반의 SOA서비스 모델링. 한국소프트웨어감정평가학회논문지 제6권 제1호. pp. 49-60. 2010년
  • 도경구 김성진. 소스코드 강화를 통한 CSRF 공격에 대한 방어. 정보과학회 추계학술대회. 2010년 5월
  • 권현준, 김유경, 김현하, 도경구, 신승철, 안준선, 이욱세, 이은영, 한환수. 소스코드 보안취약성 자동진단도구 개발 사례. 프로그래밍언어논문지 제23권 제1호. pp. 37-45. 2009년
  • 이효섭, 도경구. 프로그램의 AST에서 정확한 코드클론 탐지 방안. 한국소프트웨어감정평가학회 추계학술대회. 2008년 11월
  • 조소희, 도경구. 소스코드에서 데이터베이스 스키마 자동추출 방안. 한국소프트웨어감정평가학회 추계학술대회. 2008년 11월
  • 이지연, 창병모, 안준선, 도경구. 상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근제어 시스템. 정보처리학회논문지 제15-A권 제1호. 2008년 2월
  • 조소희, 오세광, 김유경, 도경구. 동적 웹서비스조합을 위한 QoS 중개자 모델. IT-컨버전스 합동학술대회 논문집. pp. 146-148. 2008년 2월
  • 오세광, 조소희, 김유경, 도경구. QoS를 보장하는 신뢰도 기반 웹서비스 발견. IT-컨버전스 합동학술대회 논문집. pp. 149-151. 2008년 2월
  • 최태형, 김정준, 도경구. 웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석. 정보보호학회논문지 제17권 제6호. 2007년 12월
  • 정혜령, 최기환, 도경구, 안준선, 창병모. 유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사. 2007년 11월
  • 이효섭, 도경구, 주영도. AST를 기반으로 한 프로그램 클론 검출 방법. 한국소프트웨어감정평가학회논문지 제3권 제1호. pp. 35-42. 2007년 5월
  • 신재호, 강경구, 안준선, 창병모, 도경구. 상황인식 역할 기반 접근 제어에 기반한 유비쿼터스 환경 정책 기술 언어. 한국정보과학회 추계학술대회. 2007년
  • 이효섭, 도경구, 주영도. 트리를 기반으로 한 프로그램 클론 검출 방법. 한국IT지적재산권관리학회 춘계학술발표대회논문집. 2007년 6월
  • 이지연, 오민경, 창병모, 안준선, 도경구. 유비쿼터스 컴퓨팅을 위한 접근제어와 상황적을 시스템. 한국정보과학회 가을 학술발표논문집. pp. 590-594. 2006년 11월
  • 이효섭, 임흥태, 도경구. 프로그램 표절 탐지를 위한 프로그램 유사성 측정 방법 조사. 한국소프트웨어감정평가학회논문지 제1권 제2호. pp. 29-44. 2005년
  • 이효섭, 도경구. 프로그램 표절 검출 방법에 대한 조사. 한국정보과학회 하계학술발표논문집. 2005년 7월
  • 신승철, 변석우, 정주희, 도경구. 명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석. 정보과학회논문지 : 소프트웨어 및 응용 제31권 제5호. pp. 667-676. 2004년
  • 임흥태, 신승철, 도경구. 집합 제한식을 이용한 프로시저-내 정보흐름 안전성 분석. 프로그래밍언어논문지 제17권 제3호. pp. 67-76. 2003년 11월
  • 최성권, 신승철, 도경구. 정보 흐름에 대한 SSA 기반 분석. pp. 77-84. 2003년 11월
  • 조순희, 신승철, 도경구. 바이트코드 정보흐름 분석기의 구현. pp. 55-62. 2002년 10월
  • 신승철, 도경구, 이수호. 요약해석을 이용한 정보흐름 제어. 한국정보과학회 춘계학술발표논문집. 2002년 4월
  • 도경구. 액숀의미표기법을 통한 객체의 이해. pp. 3976-3985. 2001년 12월
  • 조영갑, 도경구, 신승철. SMV를 이용한 정보 흐름 안전성의 모델 검사. pp. 39-48. 2001년 11월
  • 도경구. 액숀의미방식에 의한 언어모듈의 정의와 확장. pp. 902-911. 2000년 8월
  • 강현구, 도경구. 액숀의 온라인 부분계산. pp. 1531-1541. 1999년 12월
  • 강현구, 도경구. 온라인 액숀 부분계산. 한국정보과학회 프로그래밍언어연구회 추계학술발표회논문집. pp. 36-45. 1998년 9월
  • 강현구, 도경구. 액숀 의미구조를 통한 객체지향 언어의 의미고찰. 공학기술논문집 한양대학교 공학기술연구소. pp. 313-319. 1998년
  • 도경구. 기관탐방: 한국정보통신진흥협회. pp. 47-48. 1998년 3월
  • 곽노건, 도경구. 부분계산에 의한 할당액숀의 자동처리. pp. 371-374. 1997년 10월
  • 강현구, 도경구. 액숀의미구조를 통한 객체지향언어의 의미 고찰. pp. 355-358. 1997년 10월
  • 도경구, 곽노건. 타입시스템에 의한 체계적인 복합형 프로그래밍. pp. 16-20. 1997년 1월
  • 도경구. 학술활동 발전방향에 관한 의견. pp. 4. 1997년
  • 도경구. 차세대 프로그래밍언어 특집을 내면서. pp. 4. 1997년 1월
  • 도경구. 액숀의 부분계산. pp. 131-143. 1996년
  • 도경구. 액숀의미론에 의한 함수형 언어의 설계. 공학기술논문집. pp. 175-183. 1996년
  • 도경구. 의미론적 정의로 부터 컴파일러의 자동생성. pp. 18-26. 1996년 7월
  • 도경구. 기초연구에 많이 투자합시다. pp. 18-19. 1996년 4월

Translations & Writing


  • 도경구, 신승철, 안준선, 이욱세. 프로그래밍 언어론: 원리+유형. (ISBN 978-89-7050-602-9). 2008년
  • 오세만, 장천형, 표창우, 도경구, 최진영. Big Java. (ISBN 89-7050-445-1). 2006년
  • 김정선, 도경구, 문영식, 오희국, 이동호, 최중민. 이공학도를 위한 C 프로그래밍. (ISBN 89-89559-53-7). 2005년
  • 도경구. 알고리즘 (Java 버전) 3판. (ISBN 89-5550-143-9). 2004년
  • 도경구. 알고리즘 (C++ 버전) 3판. (ISBN 89-5550-140-4). 2004년
  • 김재훈, 도경구, 우균, 정덕길, 정민수. 컴파일러제작: 원리와 실제. (ISBN 89-87318-45-1). 2002년
  • 도경구. 알고리즘 1판. (ISBN 89-88397-24-X). 1999년
  • 김정선, 도경구, 박성주, 오희국, 최중민. C언어와 프로그래밍. (ISBN 89-7085-249-2 93000). 1998년
  • 도경구. 컴퓨터입문:제6장 - 컴퓨터언어와 프로그래밍. 1996년