C++-based OODBPL에서 클래스의 분리를 지원하기 위한 구현 기법

조은선,김형주(Eun-Sun Cho),Hyoung-Joo Kim 한국정보과학회 1999 정보과학회논문지(B) Vol.26 No.6

하나의 클래스를 인터페이스 (interface)와 구현부 (implementation)로 나누어 다루는 ‘클래스-분리’에 대한 연구는 최근 프로그래밍 언어 분야 또는 분산 처리 분야를 비롯하여 데이타베이스 분야에서도 그 유용성이 입증되고 있다. 그러나, 데이타베이스를 위한 클래스-분리에 관한 문헌들은 아직까지는 추상적이고 간단한 설명만을 제시하고 있기 때문에, 실제 DBMS (Database Management System)를 구현할 때 참조할 만한 자료가 없는 설정이다. 본 논문은 ODMG-93 기반 C++ 데이타베이스 프로그래밍 언어를 위해 클래스-분리를 지원 하는 구체적인 방안을 제시하고, 기본의 타분야에서 사용된 기타 방법들과 비교한다. The importance of class-separation (which separates interlace and implementation of a class) is well recognized in many areas such as programming languages, distributed computing, and database systems. However, when it comes to the implementation of class-separation for object-oriented persistent languages in DBMSs, there is not much reference material. This paper proposes an implementation framework for class-separation for an ODMG 93-based C++ database language, and compares existing implementation works m other areas than databases.

자바 객체의 스택 저장 가능성 판별을 위한 정적 분석 기법

조은선(Eun-Sun Cho) 한국정보과학회 2004 정보과학회논문지 : 소프트웨어 및 응용 Vol.31 No.6

자바에서 사용이 끝난 객체의 수집(garbage collection)은 프로그래머의 메모리 관리 부담을 덜어준다는 장점이 있다. 그러나, 수행 속도에 영향을 미치게 되므로 정적 분석 기법을 사용하여 이를 극복하는 기법이 제안되어왔다. 이 중 하나인 스택 저장 기법은, 힙메모리 대신 메소드 스택에 저장될 수 있는 객체들을 수행 전에 분석하여 파악해두는 방식을 따른다. 본 논문에서는 메소드의 호출/반환에 대해 직접 분석하여 자신을 생성한 메소드의 반환 후에도 접근될 소지가 있는 객체들을 판별하는 정적 분석 기법을 제시한다. 이로써 객체와 변수의 지정(assignment) 관계 분석을 기준으로 하는 기존의 스택 저장 기법들에서 간과되었던 객체들 중에서도 스택에 저장할 수 있는 대상을 발견할 수 있도록 한다. Garbage collecting objects in Java makes memory management easier for the programmer, but it is time consuming. Stack allocation may be an alternative which identifies stack-allocatable objects before the execution, without performance degradation. We suggest an escaping analysis recording the interprocedural movement of the method, to detect an object the method of whose creation may have been already deactivated during the access. Our approach is different from prior works, enables us to handle some cases that are missed in the previous variable-oriented approach.

“여자는 존재하지 않는다”? : 〈상하이에서 온 여인〉에 나타난 여성 주체의 문제

조은선(Cho Eun-sun) 한국비평문학회 2009 批評文學 Vol.- No.31

The patterned narrative of Hollywood film noir centralizes upon male protagonists, who are seduced and get lost by femme fatale's attractions, but then realize their true identity as dangerous women and by their rejection of femme fatale are finally able to re-establish their masculine position in what Lacan terms Symbolic. Feminist film critics at large have criticized the genre for its reproduction of the patriarchal gender code which promotes male dominance and the repression of sexually transgressive female subjectivity. Although the genre certainly serves to reinscribe the established gender order of patriarchy, it offers radically subversive representations of female sexuality at the same time, and thus meaning of the genre is not reduced to a mere repetition of the order. I re-read the general feminist view on the genre by the analysis of Orson Welles' Lady from Stangral through the framework of psychoanalysis. I discuss images of the female protagonist Elsa which are seen through fantasies of male characters of the film and then demonstrate that her images are not completely subject to their fantasies, and provide a possibility of the presence of female subjectivity which is not framed within male-centered visions.

자료의 지속성을 유지하는 객체지향 프로그래밍 언어의 모델

조은선(Eun-Sun Cho),김형주(Hyoung-Joo Kim),한상영(Sang Young Han) 한국정보과학회 1994 정보과학회논문지 Vol.21 No.5

지속적인(persistent) 데이타를 높은 수준의 표현력을 가지고 다루기 위해서는 데이타베이스와 프로그래밍 언어와의 결합이 필수적이나, 이러한 결합은 두 모델간의 불일치(impedence mismatch)를 야기시킨다. 최근에는 객체지향 개념의 도입으로, 객체지향 데이타베이스와 객체지향 프로그래밍 언어를 하나의 개념 아래 결합하게 되어 불일치가 많이 해소되었으나, 아직도 상당량의 불일치가 존재한다. 본 논문에서는 기존의 객체지향 프로그래밍 언어 안에 확장될 수 있는 새로운 지속적 기억 장소 구조(일명 ‘P-구조’)와, 시스템 클래스 ‘FUNCTION ’ 및, 클래스에 독립적인 집합 연산 방식을 대수적으로 제안함으로써, 궁극적으로 데이타베이스 시스템과의 모델의 불일치(impedance-mismatch)를 극복하는 방안을 제시한다. Managing persistent data with high-expressive power requires integration of database and programming languages However, such integration has a generic problem, namely "impedence mismatch problem" Though recent progress of object-oriented concepts provides a foundation for seamless integration of database and programming languages under the umbrella of object-oriented database programming languages, a significant amount of impedence mismatch still remains. This paper presents a new object-oriented programming language and its model having new concepts, called "P-structure" and "Operation Objects" for better resolving the impedence mismatch problem.

클래스의 인터페이스와 구현부의 분리를 지원하기 위한 객체지향 프로그래밍 언어의 확장

조은선(Eun-Sun Cho),한상영(Sang-Yong Han),김형주(Hyoung-Joo Kim) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.2

In most object-oriented programming languages, the notion of a class is responsible for both interface and implementation of its interfaces. However, interface and implementation of an object should not be described in a single unit, because interfaces and implementations are not always isomorphic. The existing approaches on the separation of interlace and implementation are not satisfactory, because of their unfair treatment of interface and implementation by a class, as well as the inadvertent insertion of interface-implementation relationships. This paper presents a new systematic separation model for interface and implementation of a class, where entire functionalities of both interface and implementation are preserved without causing any side-effect. 객체지향 프로그래밍 언어에서 클래스는 객체의 인터페이스와 객체의 구현을 모두 기술한다. 클래스의 인터페이스와 구현부는 항상 일대일로 대응되지 않기 때문에, 이 두 가지가 각각 분리되어 기술되어야 한다는 지적들이 있다. 이를 지원하는 언어 모델에 대한 연구도 진행되어 왔으나, 인터페이스에만 주로 차중하여 클래스 구현부가 가지는 기능들에 제약을 두는 경우가 대부분이고, 사용자가 의도하지 않은 인터페이스-구현부 관계를 야기시키는 등의 단점이 있었다. 본 논문에서는 각 인터페이스와 클래스 구현부 모두의 기능을 보존하며, 의도하지 않은 부수작용(side-effect)이 발생하지 않는 새로운 분리 모델을 제안하고 그 타입 공간을 형식화하여 기술한다.

개발자 첨부 자료에 의한 트로이 목마 대응 기법

조은선(Eun-Sun Cho),예홍진(Hong-Jin Yeh),오세창(Se-Chang Oh),홍선호(Sun-Ho Hong),홍만표(Manpyo Hong) 한국정보과학회 2002 정보과학회논문지 : 시스템 및 이론 Vol.29 No.3·4

‘트로이 목마 프로그램 (Trojan-horse program)’ 이란 겉으로는 유용한 일을 하는 것처럼 보이지만 사용자 모르게 악성 행위를 하는 프로그램을 의미한다. 본 논문에서는 개발자의 첨부 자료에 의거하여 트로이 목마 프로그램을 감지할 수 있는 방법을 제안한다. 이 방법에서 코드는 개발자에 의해 자원 접근 정보를 가지는 첨부자료와 함께 배포되며 사용자는 첨부 자료를 통해 코드의 악성 여부를 1차 판단한다. 이 때 정상 코드로 판명되어 수행이 허가된 코드는 수행 중에 감시 시스템에 의해 자신의 첨부자료에 위배되지 않는 다는 것을 2차로 감시 받게 된다. 이로써 알려지지 않는다는 트로이 목마 프로그램의 감지가 가능함과 동시에 기존 감시 시스템 기법들에 비해 사용자 측의 정책 설정 및 판단 부담을 줄여주는 특징을 가진다. 본 논문에서는 제안된 방식을 형식 언어로 기술하고 그 안전성도 함께 보인다. Trojan-horse programs are the programs that disguise normal and useful programs but do malicious thing to the hosts. This paper proposes an anti-Trojan horse mechanism using the information attached to the code by the developers. In this mechanism, each code is accompanied with the information on their possible accesses to resources, and based on this information users determine whether the code is malicious or not. Even in the case a code is accepted by users due to its non-malicious appearance, its runtime behaviors are monitored and halted whenever any attempts to malicious operations are detected. By hiring such runtime monitoring system, this mechanism enables detecting unknown Trojan horses and reduces the decision-making overhead being compared to the previous monitoring-based approaches. We describe the mechanism in a formal way to show the advantages and the limitations of the security this mechanism provides.

버퍼오버플로우 취약성과 인프라 공격

조은선(Eun-Sun Cho) 한국정보과학회 2003 정보과학회지 Vol.21 No.12

객체지향 데이타베이스에서의 새로운 데이타 추상화 단계

조은선(Eun-Sun Cho),한상영(Sang-Yong Han),김형주(Hyoung-Joo Kim) 한국정보과학회 1997 정보과학회논문지(B) Vol.24 No.11

기존의 CODASYL과 관계형 데이타베이스 시스템동에서는 물리적 단계(physical level) - 개념적 단계(conceptual level) - 뷰 단계(view level)의 세가지 데이타 추상화 단계를 지원하고 있다. 이로써, 데이타베이스 사용자들은 데이타베이스의 복잡한 구현 부분을 추상화 시켜 데이타를 접근하게 되며, 하위 단계에서 다루어지는 보다 물리적인 변화에 의해 상위 단계에서 작성된 응용 프로그램을 다시 작성하는 것을 방지한다. 그러나, 객체지향 데이타베이스 모델은, 메쏘드, 클래스 계층 구조 등 기존의 데이타 모델과는 다른 새로운 개념들을 제공하고 있기 때문에, 데이타 추상화도 기존의 방식만으로는 한계가 있다. 본 논문에서는 이에 따르는 문제점들을 검토하고, 객체지향 데이타베이스의 특성에 의해 요구되는 새로운 데이타 추상화 단계의 도입을 제안한다. 그리고, 제안된 새로운 데이타 추상화에 따르는 잇점과 그 지원 방식에 대해 고찰한다. CODASYL and relational DBMSs take traditional three level data abstraction approaches - physical level - conceptual level - view level. This means that complicated data implementation details and complicated data structures are hidden from users As such, data abstraction prevents modification in a lower abstraction level from affecting the applications in a higher level. However, object-oriented models include such new features like methods and class inheritance that the previous abstraction approach shows some limitations in object-oriented database systems. In this paper, we introduce a new level of data abstraction, called the 'class implementation level', which may overcome the limitations in previous abstraction approach. We describe how to support the new abstraction level in current obiect-oriented database svstems.

상황인식 시스템 모델링을 위한 정형화 프레임워크

조은선(Eun-Sun Cho),민영목(Young-Mok Min) 대한전자공학회 2009 電子工學會論文誌-CI (Computer and Information) Vol.46 No.2

상황인식 시스템은 이용자의 주변 상황을 인지해서 적절한 대응을 수행하는 시스템이다. 컴퓨터 외에도 각종 센서나 실행기들이 시스템에 연결되어 동작하게 되므로 전통적인 시스템과 상이하며 응용 프로그램 개발의 복잡성이 증가하는 것이 특징이다. 본 논문에서는 이러한 상황인식 시스템들이 공통적으로 가지고 있는 특징을 기반으로 하여 정형화된 프레임워크를 제시한다. 이것은 복잡한 전체 시스템을 조망할 수 있는 도구가 되며, 이를 반영한 시스템 개발 환경은 편의를 제공할 뿐 아니라, 유용한 분석의 기반이 되는 등의 장점들을 가진다. 제시된 프레임워크에서는 반응적 (reactive) 작업 수행을 위해 이벤트에 대한 규칙을 통해 동작하도록 정의하고, 많은 상황인식 응용 프로그램에서 인식하는 상태 전이 개념을 도입하였다. 또한, 각 장비의 상태 변화가 전체 작업 수행에 연결되어 모델링 될 수 있도록 하였다. Context-aware systems are reactive computing systems, aware of external context. Considering various sensors and actuators connected, application programming on top of such systems is known to be much more complex than in contentional ones. This paper suggests a formal framework for context-aware systems, by extracting their common properties. That makes a useful birds-eye view for the behaviors of a whole complex system, as a base for a convenient developing environment and systematic analysis. In this framework, reactive-ness is handled by event-condition-action rules and global state-transitions, which are essential in a lot of context-aware applications. In addition, behaviors of each elementary device are modelled with its own state-transitions, and tightly bound to the entire task.

악성 이동 코드와 대응 기법

조은선(Eun-Sun Cho) 한국정보과학회 2002 정보과학회지 Vol.20 No.11