• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.370-372
• /
• 2001

다양한 응용 소프트웨어를 개발함에 있어 컴포넌트 기반의 개발기술이 빠르게 발전하고 있는 가운데, 실제개발된 컴포넌트들을 재사용하고, 이들을 조립하여 거다란 시스템을 개발하려는 노력이 꾸준히 있어왔다. 컴포넌트의 개발과 컴포넌트 조립을 통한 응용 소프트웨어 시스템 개발을 위해서는 이들이 서로 정확하게 결합하여 작동할 수 있는 아키텍쳐 기반의 조립환경이 지원되어야 한다. 본 논문은 Enterprise JavaBeans (EJR)의 조립을 지원하는 아키티쳐 기술언어 및 이의 지원도구에 대하여 기술한다. 아키텍쳐 스타일의 하나인 Chiron-2 (C2) 스타일을 기반으로 아키텍쳐를 기술하고, 이를 다이어그램 형식과 텍스트 형식으로 표현할 수 있는 아키텍쳐 모델러의 구조 및 이의 프로토타입에 대해 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.629-631
• /
• 1999

최근의 분산처리 기술은 이질적인 분산환경에서의 상호 운용성을 보장하는 시스템통합 기술을 중심으로 발전해 나가고 있다. 이러한 환경을 제공하는 대표적 분산 미들웨어인 OMG CORBA는 현재 많은 산업체와 연구기관에서 구현하여 상용화하거나 연구용으로 제공하고 있다. 그러나 하나의 제품에서 개발된 CORBA 응용 프로그램을 다른 제품에서 이식에 필요한 코드 수정 없이 바로 사용할 수 없는 문제점을 보이고 있어 OMG에서 CORBA를 통해 성취하려고 하는 중요한 목표인 이식성과 상호운용성을 보장하지 못하고 있다. 본 논문은 Java 언어 매핑을 지원하는 ORB를 대상으로 위 문제의 해결에 필요한 CORBA 규격 준수 시험을 수행하는 ORB 기능 시험에 대하여 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.388-390
• /
• 1999

자바는 자동 메로리 회수(garbage collection) 방식을 채택한 범용 프로그래밍 언어로 자바 가상머신(JVM)이 설치된 다양한 플랫폼에서 사용되어 지고 있다. 현재 자바에서 사용되는 가비지 콜렉터는 휴지(pause) 시간이 상당히 길어 짧은 응답시간을 요구하는 서버 및 실시간 응용 프로그램에는 적합하지 않은 표시-압축 기법을 사용한다. 이를 보완하기 위해 자바 HotSpotTM 성능 엔진에서 세대기반(generational) 복사 기법에 기반을 둔 혼성(hybrid) 가비지 콜렉터를 사용하고 있으나, 상당히 큰 오버헤드를 보이고 있어 다양한 응용 프로그램의 특성을 수용하기에는 개선의 여지가 많다. 본 논문에서는 세대기반 기법을 기반으로, 자바와 자바 가상머신이 가진 특성들과 실행시간 객체의 타입 및 스택 정보를 이용하는 가비지 콜렉터를 설계한다. 또한, 힙 프로파일 분석기를 구현하고, 이를 통해 응용 프로그램에 적합한 메모리 구조를 분석하고, 가비지 콜렉터에 적용할 수 있도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.487-490
• /
• 2014

리플렉션은 자바 프로그램을 실행하여 객체 내부의 모든 요소를 조사하거나 호출 혹은 조작할 수 있는 자바 언어의 한 기능이다. 한 클래스 내부의 메소드에 리플렉션을 적용하여 호출하게 되면 String형의 메소드 이름으로 간접 호출하기에 정적 분석 도구의 API 호출 탐지를 방해하게 되어 분석결과의 정확도를 떨어뜨릴 수 있고, 또한 일반적인 호출보다 복잡한 절차를 거치게 되어 소스 자체의 난독화 효과를 갖게 된다. 또한 디컴파일러의 역공학 분석을 어렵게 만드는 장점도 있다. 이 특성을 이용한다면 안드로이드 환경에서 특정 API를 은닉하여 개인정보를 누출하도록 악용하거나 디컴파일러 이용을 방지하는 데 활용될 수 있다. 본 연구에서는 안드로이드 환경에서 직접 설계한 도구와 표본 앱을 이용하여 API 메소드에 리플렉션을 적용하고, 원본 소스와 리플렉션 후 디컴파일된 소스를 비교하여 API 호출이 리플렉션을 통해서 은닉 가능함을 보여준다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.441-444
• /
• 2014

인터넷의 보급에 따른 신속정확하고 편리한 정보처리의 장점에도 불구하고 최근 들어 급증하고 있는 보안 관련 사고들로 인하여 개인정보 및 기업정보의 관리에 대한 대책 마련이 시급한 가운데 있다. 그 중에서도 SQL 삽입 공격에 의한 악의적인 관리자 권한 획득 및 비정상적인 로그인 등으로 인하여 많은 피해가 발생하고 있다. 현재 SQL Injection에 관련된 대부분의 연구는 공격을 탐지하는 방법에 초점이 맞추어져 있다. 본 논문에서는 프로그램 코드를 분석하여 따옴표가 포함된 취약한 인라인 SQL 쿼리 구문을 찾아서 매개변수화된 쿼리로 변경하는 기능을 제공함으로써 근본적인 해결책을 찾고자 하였으며 Java, C#.net 등 다양한 언어를 지원하여 개발 업무에서의 활용성을 높이고자 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.133-136
• /
• 2000

자바에서 또한 이러한 병행성 프로그램을 지원하기 위한 다양한 언어적 지원과 병행적인 요건을 지원하고 있다. Thread class지원, Synchronized 예약어, 상호협동 관계를 표현하기위한 wait(), notify(), notifyAll() 메서드 , monitor 메커니즘등을 지원하고 있다. 하지만 이는 아주 저 수준의 지원형태이며 여러 가지 문제점을 야기할 수 있다. 이에 대해 병행적 이론의 정수라고 할 수 있는 pi-calculus의 이론과 기법을 도입하여 새로운 시각으로 병행성 프로그래밍에 대한 접근을 하고자 한다. 여기에 실용적으로 많이 사용되고 발전되어온 자바에서 적용하고자 한다. pi-calculus에 기반한 pict를 모델로 하여 pict에서 지원하는 아주 명료한 연산자와 current object를 도입함으로써 보다 표현력과 확장성, 검증성이 뛰어난 고 수준 자바 라이브러리를 설계하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.815-820
• /
• 2000

Variable Reference Graph 는 C 언어로 작성된 프로그램으로부터 상호 절차적인 자료 흐름 분석 정보를 수평적 방향 그래프(directed graph)로 자동 생성해주는 역공학(reverse engineering) 도구들 중 하나이다. 본 논문에서는 판독성 있는 구조적 정보를 제공하기위한 그래픽 표현의 전략을 바탕으로 JAVA 로 구현된 그래픽 사용자 인터페이스(graphic user interface) 및 그래프 레이아웃 알고리즘(graph layout algorithm)을 기술한다. 이 알고리즘은 4 단계로 구성되어 있다: 정보 모형, 레벨 알고리즘, 순서 알고리즘, 위치 알고리즘. 각 단계별에서 수행되는 주요 알고리즘을 살펴 본다. 특히, 이 알고리즘들은 사이클(cycle) 및 비사이클(acyclic) 방향 그래프, 그리고 트리(tree)를 수평적 계층 구조를 생성하는데 사용될 수 있다. 본 논문에서 구현된 Variable Reference Graph 는 소프트웨어 재공학 도구를 개발하는 RESORT(RESearch on object-oriented SOftware Reengineering Technology) 과제에서 개발되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.495-497
• /
• 1999

오늘날 소프트웨어는 컴포넌트 기반의 소프트웨어라고 할 수 있다. 새로운 소프트웨어를 개발함에 있어서 컴포넌트를 사용하면 개발 기간과 비용 등 여러 면에서 장점이 있다. 그러나 이러한 컴포넌트 기반의 소프트웨어의 단점은 3자가 개발한 컴포넌트를 사용함에 따른 유지보수의 어려움이다. 제 3자가 개발한 컴포넌트의 경우 관련 문서, 설계 명세, 도움말 등이 존재하지 않는 경우 유지보수가 불가능하거나 아주 어렵게 된다. 이러한 경우 컴포넌트로부터 설계 명세 등의 정보를 추출할 수 있다면 기존 컴포넌트 기반의 소프트웨어를 기능을 향상시키거나 새로운 기능을 추가하는 등의 컴포넌트의 유지보수가 가능하다. 본 논문에서는 자바 빈즈 컴포넌트 모델을 기반으로 한 컴포넌트 명세 추출을 보인다. 자바 빈즈 컴포넌트로부터의 명세 추출은 자바의 리플렉션이나 자바 빈즈의 인트로스펙션 기능을 이용하여 소스 파일이 없이 자바 빈즈 컴포넌트의 클래스 파일만을 가지고 가능하다. 추출된 정보로부터 컴포넌트의 추상적인 설계 명세를 얻을 수 있다. XML은 웹 기반의 마크업 언어로써 구조적, 다중 링크, 자기 서술적, 정확성 등의 장점이 있다. 따라서 본 논문에서는 자바 빈즈 컴포넌트의 명세 표현 형태를 XML을 이용하여 자바 빈즈 컴포넌트 명세의 재사용성, 검색, 효율적인 관리가 가능함을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.93-95
• /
• 1999

최근 XML 문서에 대한 활용이 늘어나면서 이들 문서에 대한 저장 및 검색에 대한 요구가 증가하고 있다. XML문서는 SGML(Standard Generalized Markup Language) 문서가 가지고 있는 다양한 기능들과 구조적인 표현 능력, 그리고 사용의 용이성 등의 장점을 지닌 언어로 1996년 웹의 문서 표준으로 제안되었다. 따라서 XML 문서의 특성을 반영한 문서 검색시스템에 대한 요구가 시급한 상태이며, 기존의 시스템의 경우 구조 및 내용-기반 멀티미디어 문서검색을 효과적으로 지원하지 못하고 있다. 본 논문에서는 XML 문서의 구조정보 및 내용정보를 효과적으로 검색할 수 있는 XML 문서 저장 시스템을 설계 및 구현한다. 구현하는 시스템은 구조-기반 검색을 위해 o2store위에 역파일 인덱스를 구축하고 내용-기반 검색을 위해 X-tree를 사용한다. 또한 검색 인터페이스를 JAVA로 구현하여 효율적인 검색이 이루어지도록 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.1004-1007
• /
• 2013

소프트웨어의 잦은 변경은 작은 기능 변경에 한정되어 있다고 하더라도 해당 기능을 수정하고 그로 인해 발생할 수 있는 파급효과에 대해 의도하지 않은 비용이 발생하기도 하며 심지어 소프트웨어에 심각한 영향을 끼치게 된다. 따라서 본 논문에서는 소프트웨어 변경 영향도를 측정하기 위해 동적 코드 분석 방법과 정적 분석 방법을 혼합하여 사용하였다. 특히 객체지향 언어인 JAVA에서 각 객체들 사이의 의존도와 관계를 분석하는 방법과, 실제 프로그램 수행 과정 중에 나타나게 되는 객체들 사이의 의존성을 분석할 수 있는 Taguchi method를 이용한 테스트 케이스 추출 방법을 제안하였다.