http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 도경구(Kyung-Goo Doh) (검색결과 32 건)
- 무료
- 기관 내 무료
- 유료
-
도경구(Kyung-Goo Doh) 한국정보과학회 2000 정보과학회논문지 : 소프트웨어 및 응용 Vol.27 No.8
언어의 의미정의모듈은 서로 밀접하게 관련 있는 개념과 연산의 의미구조를 모아 놓은 집합이다. 이 논문은 액션 의미표기법으로 의미정의모듈을 구성하고 확장하는 방법을 제시한다. 표현중심언어 핵심 모듈을 먼저 정의하고, 바인딩, 블록구조, 파라미터, 고차 표현식(함수)에 대한 확장 모듈을 정의한다. 그리고 의미의 획일성과 직교성이 보장되도록 의미정의 모듈들을 합성하면 더 복잡한 언어를 구축할 수 있음을 보인다. A language module is the collection of language constructs whose concepts and operations are closely related. This paper demonstrates how to use action semantics to define and extend language modules. We first define a language module for an expression language core, and then language modules for bindings, block structures, parameters, and higher-order expressions. Finally, we show that the language modules can be combined, if there is no violation of uniformity and orthogonality, to become a more complex language module.
-
도경구(Kyung Goo Doh) 한국정보처리학회 2000 정보처리학회논문지 Vol.7 No.12
This article uses action semantics to formally specify the meaning of objects and their related operations. The action-semantics framework, compared to others, is able to not only express object-oriented computation steps more clearly, but also provide a hint on how to implement them. As a showcase, an action semantics of a variant of Abadi-Cardelli''s -calculus is defined. Then we use an example program to show how to derive the meaning.
-
도경구,Doh, Kyung-Goo 한국정보처리학회 2000 정보처리논문지 Vol.7 No.12
이 논문은 액션 의미표기법을 사용하여 객체와 그에 관련된 연산들의 의미를 정형적으로 정의한다. 액션 의미표기법은 다른 표기법에 비해서 객체연산의 계산과정을 더 명확히 표현할 수 있을 뿐만 아니라, 구현 방식에 대한 힌트도 얻을 수 있다는 장점이 있다. 이를 보여주기 위해서 Aba야-Cardelli의 시그마 계산표기법에 대한 액션 의미구조를 정의하고, 예제 프로그램을 가지고 그 의미를 전개해 본다. This article uses action semantics to formally specify the meaning of objects and their related operations. The action-semantics framework. compared to others. is able to not only express object-oriented computation steps more clearly, but also provide a hint on how to implement them. As a showcase. an action semantics of a variant of Abadi-Cardelli's-calculus is defined. Then we use an example program to show how to derive the meaning.
-
상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 접근 제어 시스템
이지연,안준선,도경구,창병모,Lee, Ji-Yeon,Ahn, Joon-Seon,Doh, Kyung-Goo,Chang, Byeong-Mo 한국정보처리학회 2008 정보처리학회논문지 A Vol.15 No.1
다양한 모바일 기기들이나 무선 네트워크들에 의한 무분별한 자원 접근은 시스템에 문제를 일으킬 수 있으므로 접근 권한 관리는 매우 중요하다. 본 논문에서는 프로그래머가 각 응용 프로그램에 맞는 접근 권한 규칙을 정책 파일로 작성하고 이를 실행시키는 접근 제어 시스템을 구현하였다. 본 논문에서 구현된 접근 제어 시스템인 CACM(Context-awareness Access Control Manager)은 상황 인식 기반의 유비쿼터스 컴퓨팅을 위한 프레임워크인 JCAF을 바탕으로 구현하였다. CACM은 프로그래머가 작성한 정책 파일을 바탕으로 접근을 제어한다. 또한 본 논문에서는 정책 파일을 정적 분석하여 잘못된 정책 파일 규칙 알려주는 지원 시스템을 제공하며 본 시스템을 사용하여 개발된 유비쿼터스 응용 프로그램의 실행을 시뮬레이션 할 수 있는 시뮬레이터와 시뮬레이션 결과를 제공한다. It is important to manage access control for secure ubiquitous applications. In this paper, we present an access-control system for executing policy file which includes access control rules. We implemented Context-aware Access Control Manager(CACM) based on Java Context-Awareness Framework(JCAF) which provides infrastructure and API for creating context-aware applications. CACM controls accesses to method call based on the access control rules in the policy file. We also implemented a support tool to help programmers modify incorrect access control rules using static analysis information, and a simulator for simulating ubiquitous applications. We describe simulation results for several ubiquitous applications.
-
강현구(Hyun-Goo Kang),도경구(Kyung-Goo Doh) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
본 논문에서는 간단한 객체지향 언어에 대한 의미를 액숀 의미 구조로 표현하여 보고, 이를 통해 객체 지향 언어의 정형적 의미(formal semantics)를 액숀 의미구조를 통하여서는 어떻게 이해 할수 있는지를 고찰한다.
-
강현구(Hyun-Goo Kang),도경구(Kyung-Goo Doh) 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.12
프로그래밍 언어의 의미를 정형적으로 표기하는 기법인 액션의미론을 기반으로 한 컴파일러 생성기는 프로그래밍언어의 액션의미구조가 주어지면 그 언어의 컴파일러를 자동으로 생성한다. 생성된 컴파일러는 먼저 원시 프로그램을 그에 상응하는 액션 프로그램으로 확장한 후, 목적 프로그램으로 컴파일 한다. 여기서 액션 프로그램은 일종의 중간코드로 쓰이므로, 효율적인 목적코드를 생성하기 위해서 중간코드의 성능향상이 필요하다. 본 논문에서는 액션 프로그램을 부분계산을 통해 효율적인 코드로 자동 변환해 주는 온라인 액션 부분계산기를 설계하고 구현한다. 선행 연구된 오프라인 방식에서 전역분석을 하지 않고는 불가능했던 요약캡슐의 몸통, 펼치기의 몸통에 대한 부분계산이 온라인 방법을 사용하면 가능함을 보이고, 명령형 액션의 부분계산도 추가적으로 수행할 수 있도록 확장한다. Action Semantics is a framework for formally defining the semantics of programming languages. Action semantics-directed compiler generators take an action semantics definition of a programming language and automatically generate a compiler of the language. The generated compiler first expands a source program into an action denotation of the program, and then compiles it to a target code. In these compiler-generation systems, it is important to statically process the expanded action denotation - used as an intermediate code - as much as possible so that the generated compiler can produce better target code In this paper, we develop an automatic action-transformation method based on online partial evaluation. The previous off-line method was rather weak because it could not partially evaluate actions inside the body of abstraction and unfolding-action without performing separate global analysis. The proposed online method remedies the problem, thus naturally improves the quality of residual actions. Moreover, we also extend the method to partially evaluate imperative actions.
-
-
-
이효섭(Hyo-Sub Lee),도경구(Kyung-Goo Doh) 한국정보과학회 2005 한국정보과학회 학술발표논문집 Vol.32 No.1
표절이란 원본 자료의 출처를 밝히지 않고 사용하는 행위인데, 프로그램 표절은 표절로 의심되는 유사 소스코드를 말한다. 프로그램 표절을 검출하는 방법은 소스코드의 토큰 요약 후 비교하거나 단어와 키워드의 개수를 측정해 통계적으로 비교, 계산하거나 또는 프로그램의 구문구조를 비교하는 등 여러 접근 방법이 있다. 본 조사 보고서에서는 프로그램 표절 검출 방법 및 응용 도구에 대한 최근 연구 동향을 조사하여 정리하고 향후 발전 방향을 토론한다.
-
김유경(Yukyong Kim),도경구(Kyung-Goo Doh) 한국전자거래학회 2011 한국전자거래학회지 Vol.16 No.2
현재까지 서비스지향 아키텍처(SOA) 보안은 개별 표준들과 솔루션에 의한 대응에 집중해 있을 뿐 전사적인 위험관리 차원의 통합적인 방법론은 부족한 실정이다. 따라서 SOA 보안 취약점 식별을 통한 다양한 보안 위협들에 대한 사전 분석과 대책 수립이 필요하다. 이를 위해 본 논문에서는 SOA 취약성을 정량적으로 분석하기 위한 SOA 동적 특성을 이용한 메트릭 기반의 취약성 평가 방법을 제안한다. SOA를 구성하는 서비스들 사이의 실행시간 종속성을 측정하여 서비스와 아키텍처 수준의 취약성을 평가한다. 서비스 사이의 실행시간 종속성은 한 서비스가 취약할 때 다른 서비스들이 얼마나 영향을 받게 되는지를 분석하기 위해 사용되는 중요한 특징이다. 한 서비스가 공격에 노출될 때 그 서비스에 종속된 서비스들도 역시 공격가능성이 높아진다. 따라서 실행시간 종속성은 SOA 아키텍처 수준의 취약성에 대한 지표로 활용할 수 있다. Traditionally research in Service Oriented Architecture(SOA) security has focused primarily on exploiting standards and solutions separately. There exists no unified methodology for SOA security to manage risks at the enterprise level. It needs to analyze preliminarily security threats and to manage enterprise risks by identifying vulnerabilities of SOA. In this paper, we propose a metric-based vulnerability assessment method using dynamic properties of services in SOA. The method is to assess vulnerability at the architecture level as well as the service level by measuring run-time dependency between services. The run-time dependency between services is an important characteristic to understand which services are affected by a vulnerable service. All services which directly or indirectly depend on the vulnerable service are exposed to the risk. Thus run-time dependency is a good indicator of vulnerability of SOA.
ScienceON
DBpia연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
