2007-11 | A trust type based model for managing QoS in Web services composition | 도경구 |
2008-02 | Trust type based semantic Web services assessment and selection | 도경구 |
2007-11 | A type system for checking consistencies of a policy specification used in ubiquitous programming environment | 도경구 |
2013-01 | Use-case driven service modelling with XML-based tailoring for SOA | 도경구 |
2018-12 | 공통 토큰에 기반한 서로 다른 언어의 유사성 검사 | 도경구 |
2004-05 | 명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석 | 도경구 |
2017-04 | 모바일 앱 소스코드 보안약점 자동탐지 | 도경구 |
2015-09 | 벨론 레퍼런스 코퍼스를 기준으로 exEyes의 재현율 평가 | 도경구 |
2008-02 | 상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근제어 시스템 | 도경구 |
2011-05 | 실행시간 의존성 측정을 통한 SOA 취약성 평가 | 도경구 |
2014-06 | 양방향 정적분석을 통한 정수구간 명세 자동유추의 실험 | 도경구 |
2014-12 | 요약파싱기법을 사용한 웹 접근성의 정적 분석 | 도경구 |
2007-12 | 웹 응용프로그램의 삽입취약점 탐지를 위한 문자열분석 | 도경구 |
2007-11 | 유비쿼터스 컴퓨팅을 위한 접근 제어 규칙과 상황적응 규칙의 안전성 검사 | 도경구 |
2014-06 | 지식베이스를 이용한 보안취약점 정적분석 | 도경구 |
2017-04 | 테스트코드 뮤턴트를 이용하여 정적분석 도구 미검출 찾기 | 도경구 |
2019-06 | 트리 기반 컨볼루션 신경망을 이용한 BigCloneBench 개선 | 도경구 |
2015-12 | 파스테이블 생성 콤비네이터의 의미규칙 연산 모델 | 도경구 |
2005-07 | 프로그램 표절 검출 방법에 대한 조사 | 도경구 |
2003-01 | 함수형 프로그래밍 기술을 이용한 프로그램 합성 방법 | 도경구 |
2022-12 | 흐름 그래프 정보의 기계학습을 활용한 보안 취약점 정적 탐지 | 도경구 |