이동 컴퓨팅을 위한 메시지 지향 미들웨어 서비스

백광진,안영아,김태우 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

MOM(Message Oriented Middleware)은 새로이 주목받고 있는 분산 통신을 위한 개념이다. 기존의 MOM은 이동 컴퓨팅 환경을 위한 기능을 지원하지 않고 있다. 앞으로 이동 컴퓨팅에 대한 요구는 증가할 것이며 이동 컴퓨팅을 위한 보다 동적인 서비스 제공이 필요하다. 본 논문은 기존 MOM 시스템을 기반으로 하여 이동 컴퓨팅 환경을 지원하는 M-MOM(Mobile MOM) 시스템을 제안한다. M-MOM 환경에서 이동 호스트에서 실행되는 응용 프로그램과 고정 호스트에서 실행되는 메시지 큐 관리자는 베이스 스테이션(Base Station)에서 실행되는 메시지 에이전트를 통해 메시지 큐 관리자와 동적으로 연결된다. M-MOM은 M-RPC(Mobile Remote Procedure Call)에서는 제공하지 않는 베이스 스테이션의 결함을 허용하는 능력과 통신 효율면에서 향상된 기능을 제공한다. MOM (Message Oriented Middleware) is distributed communications framework. The Interest in MOM systems is growing rapidly. Existing MOM doesn't provide functions for mobile computing environment. In the future, the requirement for mobile computing will increase and more dynamic service is needed. In this paper, we present M-MOM (Mobile-MOM) that supports mobile computing environment and bases on established MOM system. In M-MOM environment, applications are dynamically connected with Message Queue Managers through Message Agents. M-MOM provides a minimum level of fault-tolerance in BS and improves the performance of communication function.

디지털 상품 정품 인증 프로토콜 설계

김지균,강영일 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.2 No.-

인터넷의 대중화에 따라 인터넷 웹을 기반으로 전자상거래가 활발해지고 있으며, 인터넷을 통한 전자파일 형태의 상품 즉, 디지털 상품의 구매는 상품의 검색, 조건 비교, 구매, 지불 및 배송 측면에서 사용자에게 편이성을 제공하기 때문에 전자상거래 매출에 있어서 중요한 부분으로 인식되고 있다 특히 디지털 상품의 정품 판매와 정품 구입에 대한 증명은 지적 재산권 및 소프트웨어 유통 측면에서 필수적인 부분을 차지하고 있다 본 논문에서는 인터넷 전자상거래시 디지털 상품의 정품을 증명하고 불법복제를 확인하여 지적 재산권 소유권자, 구매자 및 판매자간의 신용 있는 전자상거래를 위한 범용성 있는 인증 프로토콜 설계 및 개발의 연구를 수행한다. As an internet become public, the electric commerce based on the internet web increases rapidly and a purchase of digital product, the one in the form of electronic files through the internet, is recognized as an important part of electric commerce because it provides convenience to users in terms of search, conditional comparison, purchase, payment, and delivery of the products. Especially, the verification about purchase and selling of licensed product plays an essential role in the intelligent property and software circulation. In this paper, we describe the design of authentication protocol having general purpose for confidential electric commerce between copyrighter of intelligent property, purchaser, and seller by verifying digital product as licensed product and certifying illegal copy.

PCS에서 사용자 지역성을 고려한 적응적 영역관리 기법

양권우,박찬열,길준민,황종선 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

개인 통신 시스템 시스템은 네트워크 내에서 이동하고 있는 가입자들에게 계속적인 통신 서비스를 제공한다. 사용자들은 지리적으로 인접한 사용자들과 자주 통신을 하기 때문에 호출자의 피호출자간의 호 패턴은 호 지역성을 가진다. 본 논문에서 우리는 호 지역성을 사용하여 통신 비용, 데이터베이스 비용 그리고 총 비용을 줄일 수 있는 적응적 영역 관리 기법을 제안한다. 영역 갱신시 이동 단말이 이동 전 영역과 이동 후 영역을 1) 지역 영역에서 지역 영역으로 이동 2) 지역 영역에서 원격 영역으로 이동으로 분류하였다. 영역 질의시 호출 영역과 피 호출 영역을 1) 지역 영역에서 지역 영역 호출 2) 지역 영역에서 원격 영역 호출로 분류하였다. 우리는 통신 비용, 데이터베이스 비용 그리고 총 비용을 사용하여 본 논문에서 제안한 기법과 IS-41 기법과의 성능 비교를 하였다. 시뮬레이션 결과는 IS-41 기법보다 제안하는 기법의 성능이 좋음을 보여 준다. PCS(Personal Communication System)s provide communication services to subscribers that travel within the network coverage area. Since users communicate with geographically neighboring users frequently, call patterns between callers and callees have call locality. In this paper, we propose a adative location management scheme that can reduce communication cost, database cost, and total cost using call locality. When mobile terminals update registration location, old and new registration location can be classified into 1) moving from local area to local area and 2) moving from local area to remote area. When the system queries the location of the mobile terminal, the registration location of both caller and callee can be classified into 1) querying from local area to local area and 2) querying from local area to remote area. We compare the performance of the our scheme with that of the IS-41 scheme in respect of communication cost, database cost, and total cost. Simulation results show that the proposed scheme performs better than the IS-41 scheme.

이동 통신 시스템에서 페이징 비용을 감소시키는 위치 관리 전략

송의성,길준민,박찬열,양권우,황종선 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.2 No.-

위치 관리는 기지국에 의해서 서비스를 제공받는 셀 이라고 불리는 지리적인 영역들의 집합인 이동 통신 시스템에서 이동 단말 사용자의 위치를 찾아내는 문제를 다루는 것이다. 이동 통신 환경에서, 사용자의 위치는 보통 페이징과 위치 등록의 사용에 의해서 얻어진다. 이동 통신 사용자는 위치 영역이 바뀔 때마다 위치 등록을 수행한다. 그리고, 이동 통신 시스템에 착 호가 발생했을 때, 해당 사용자에게 착 호를 알리기 위해 위치 영역과 페이징 메시지들을 방송한다. 이동 단말의 수가 증가하고 위치 영역내의 셀 크기가 감소함에 따라서 전체 네트워크에 대한 페이징 비용은 매우 증가한다. 이러한 문제를 극복하기 위해 우리는 사용자 프로파일 정보를 사용해서 위치 영역내의 적은 수의 셀들만을 페이징 함으로써 페이징 비용을 효율적으로 감소시킬 수 있는 기록-기반 위치 관리 전략을 제안한다. 이 논문은 위치 영역 내에서 높은 호 도착률과 많은 셀들을 가지는 상황에서 우리의 전략이 기존의 위치 관리 전략보다 더 적은 페이징 비용을 가짐을 보여주는 시뮬레이션 결과를 제공한다. Location management deals with the problem of tracking down a mobile user in mobile communication systems, which are a collection of geometric areas called cells each serviced by a base station In mobile environments, the location of a user is usually obtained via some combination of paging and registration. Whenever a user changes its location area, it registers itself. And, when the mobile communication system receives an incoming call, it broadcasts paging messages in the location area in order to inform the target user of the incoming call. As the number of mobile hosts increases and the cell size in the location area decreases, the paging cost for the whole network increases drastically. In order to overcome this problem, we propose a history-based location management strategy that can efficiently reduce the paging cost by paging only a small number of cells using user profile information. In addition, this paper presents simulation results that show our strategy has a smaller paging cost than the basic location management strategy with a high incoming call rate and a great number of cells in the location area.

Jini 기반 전자상거래 구조의 설계

이병래,김지균,이명선 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

시간이 지날수록 다양한 장소는 네트워크화 되고 있으며, 많은 종류의 전자 기계와 소프트웨어 또한 네트워크화 되고 있다. 이러한 조건하에서, 분산 환경은 필수적인 요건이 될 것이고, 전자 기계 또는 소프트웨어들의 호환성은 고려되어야 할 것이다. 이 논문에서는 Jini를 기반으로 한 전자상거래 구조를 제시한다. Jini 시스템은 Java 중심적인 분산 시스템으로서 단순성, 유연성 그리고 연합성을 특징으로 하고 있다. Jini 구조는 머신 또는 프로그램들이 연합체에 참가하여 다른 멤버들에게 리소스를 제공하고 필요한 리소스를 사용하는 기반을 제공한다. Jini 구조는 Java 언어 코드의 이동성을 취하여 service라는 개념 하에, Jini 시스템의 사용자로부터 이용되는 하드웨어에서의 소프트웨어 또는 하드웨어 자신의 컴포넌트들까지 통합한다. In the future, Countless place should be networked and Countless variety of money-related electronic requirement, and electronic machine's interoperability should be concerned. In this paper, we propose Jini based electronic commerce architecture. A Jini system is a Javatm-centric distributed system designed for simplicity, flexibility, and federation. The Jini architecture provides mechanisms for machines or programs to enter into a federation where each machine or program offers resources to other members of the federation and uses resources as needed. The design of the Jini architecture exploits the ability to move Java language code from machine to machine and unifies under the notion of a service everything from the user of a Jini system to the software available on the machines to the hardware components of the machines themselves.

Z를 이용한 보안기능의 설계 방법 연구

유희준,김우곤,이성권,최진영 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.2 No.-

본 논문에서는 정형 명세 언어 Z를 이용한 보안 관련 MD4 Message Digest 알고리즘에 대한 정형 명세 방법론을 제시하였다. 현대 사회는 인터넷 기술의 발달로 인하여 통신상에서의 전자 상거래가 시작되었고, 그 이용도는 급속하게 늘어나고 있다. 전자 상거래 시스템이 운영되면서 가장 중요한 문제로 서비스를 이용하는 사용자들에 대한 사용자 정보 보안과 보안 시스템에 접근하는 사용자가 정상적인 사용자인지를 확인하기 위한 사용자 인증이 부상되고 있다 이 문제를 해결하기 위해서 보안에 관련된 많은 암호화 기법과 알고리즘이 개발되고 있고, 전세계적으로 이런 알고리즘으로 구현된 보안 상품의 등급을 나누고 있다. 그 예로 미국의 NIST(National Institute of Standards and Technology), 영국의 통신정보국(GCHQ)등과 같은 기관에서 시스템에 대한 등급을 판단하고, 우리나라에서도 정보보호센터에서 K1에서 K7까지의 등급을 주고 있다. 이런 보안 등급에서 일반적으로 정형기법을 사용하여 구현된 보안 상품이 최상의 평가를 받고 있다. 따라서, 전자 상거래 시스템을 구현하는 개발자 입장에서는 보안 시스템 구현에 정형기법을 이용하여 고품질의 상품을 만드는 것이 중요하다. 하지만, 국내에서는 이러한 분야에 대한 연구가 전무한 상태여서 어떠한 기준을 적용하는 것이 좋은 지를 판단하기가 매우 어려운 실정이다 따라서, 본 논문에서는 이러한 문제에 대한 연구로 정형 명세 언어를 이용해서 인증 알고리즘을 명세하는 방법론을 적용한 경험을 기술한다. In this paper, we describe a experience of applying formal specification methodology to MD(Message Digest) 4 algorithm, a part of secure algorithm, with formal specification language Z. Recently, Internet start the Electronic Commerce(EC) service and its utilization is increased very rapidly. The most important problem of Electronic Commerce System(ECS) are preservation of user's information and authentication of user To solve this problems, many cryptography methodologies and algorithms are developed. Many country grade developed secure system with such algorithm. for example, NIST of Unite State and GCHQ of British grade secure system. In our country, Korea Information Security Agency grade K1 to K7. In secure grade, Secure system using formal methods get more high grade than others. So, using formal methods is great issue for developer of ECS. But, our country doesn't have any experience of such area. So, this paper describe a experience of specification methodology for authentication algorithm with formal specification language

암호 기반 온-라인 일회 설치용 디지털 상품 기술에 대한 연구

윤우성,조원환 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.2 No.-

전자 상거래가 활성화되면서 네트워크를 이용한 상품의 구매가 점점 증가하고 있다. 판매되는 상품 중 전자 파일 형태의 상품을 디지털 상품이라고 한다. 인터넷을 통한 디지털 상품 거래의 장점은 유통에 관계되는 비용을 낮추는데 있다. 그러나 네트워크를 이용하여 디지털 상품을 전송하는 경우 정보가 쉽게 노출 될 수 있다. 디지털 상품은 특성상 복제하기가 쉽고, 정품과 복제품이 똑 같은 단점이 있다. 본 논문은 디지털 상품의 전송과 관련하여 사용자의 개인 정보를 보호하는 동시에 디지털 상품이 외부에 노출되지 않고 안전하게 사용자 시스템에 일회 설치되는 것을 보장하기 위한 연구이다. Today, purchasing a product through the network is increased by Electric Commerce technology. Digital product is one of the goods have a electric file form. The advantage of dealing in the Digital product through the Internet is to cut down the delivery and circulation cost. While transporting the Digital product using the Internet, user information is easily exposed. Also, Digital product is so easy to copy that original one and copied one can be the same. That is the disadvantage of buying a Digital product on the Electric Commerce. In this paper, we describe how to protect user information when you send a message to the server and how to install the Digital product on user system after buying a Digital product through the Electric Commerce.

SMERT: 읽기 전용 트랜잭션에 대한 스케쥴링 기법

김성석,정순영,이상근,황종선 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

무선 통신 기술이 발달함에 따라, 이동성을 가진 사용자가 무선 채널을 사용하여 다양한 정보 서비스를 받을 수 있게 되었다. 이러한 무선 이동 컴퓨팅 환경은 본래 많은 새로운 특징 및 제약조건을 가지고 있다. 따라서 이전의 분산 컴퓨팅 환경에서 정보 서비스를 제공하기 위해 제안되었던 알고리즘을 수정없이 그대로 적용한다면, 여러 문제점이 생길 수 있다. 이 논문에서는 무선 통신 기능을 가진 이동 컴퓨터에서 읽기 전용 트랜잭션을 제기할 경우, 자신의 캐쉬 데이터를 이용하여 지역적으로 처리할 수 있는 스케쥴링 기법을 제안한다. 이러한 캐쉬 데이터는 데이터 서버의 주기적인 브로드캐스팅 정보를 이용하여 일관성을 유지시킨다. 이렇게 지역적인 수행을 하더라도 트랜잭션의 올바른 수행을 보장하기 위하여, 이 논문에서는 읽기 트랜잭션의 수행 순서를 재순서화 하는 기법을 사용한다. 즉 서버에서 수행되는 쓰기를 포함하며, 읽기 전용 트랜잭션과 충돌이 발생하는 트랜잭션과의 연산 순서를 데이터의 의미를 고려하여 재순서화 하며, 이러한 순서관계를 지킬 수 있도록 트랜잭션의 연산들을 스케쥴링 한다. 또한 제안하는 스케쥴링 알고리즘(SMERT : Scheduing MEthod for Read-only Trasactions)에 의하여 트랜잭션을 수행하면, 트랜잭션의 검증을 완전히 이동 컴퓨터에서 수행할 수 있으므로, 이동 컴퓨터의 자원을 효율적으로 사용할 수 있게 해준다. 제안하는 SMERT에 의한 수행에 영향을 줄 수 있는 인자에 대한 실험 및 그 결과도 분석한다. With the development of wireless communication technology, various information services have been available to users having mobility. Since wireless mobile computing enviroments have their own characteristics and limitations, if we adopt the algorithms developed for distributed computing environments in mobile environments without modification, we may have some problems. In this paper, we propose a new scheduling technique for read-only transactions, which executes and validates them based on its cached data. A mobile computer maintains cache consistency by using periodic broadcast information. In order to provide correct local execution, we use the reordering technique; that means a mobile computer determines conflict orders between operations according to data semantics. A mobile computer executes operations without violating the determined conflict orders. We call this scheduling method SMERT. Because SMERT allows read-only transactions to be terminated without any messages for synchronization, a mobile computer can use its limited resources efficiently. In the last section, we present a simulation study about the relation between response time and various parameters.

서비스 주체의 상호 협력 관계를 제공하는 멀티미디어 Qos 프레임워크

김태윤,장경아,유항재 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.2 No.-

인터넷 사용자의 급속한 증가와 전자 상거래의 발달로 신뢰성, 보안성, 확장성, 유연성 등의 기본적인 요구 사항 뿐 아니라 멀티미디어 응용 서비스에 대한 필요성이 제기되고 있다. 멀티미디어 컴퓨팅과 커뮤니케이션은 네트워크, 통신망, 오퍼레이팅 시스템에서 다양한 메커니즘을 필요로 한다. 대규모 분산 환경에서 QoS는 Video-on-Demand, News-On-Demand 등의 단일 매체에 대한 서비스와는 다르게 응용 매체에 대한 우선 순위 부여 및 상호 협력 구조적 서비스 및 MPEG 비디오 서비스와 같은 멀티미디어 응용 서비스에 대한 지원 능력을 요구하고 있다. 본 논문에서는 인터넷을 기반으로 대단위 분산 시스템 환경에서 QoS를 지원하기 위한 통합적 QoS 프레임워크로 E-QoS 모델을 설계하였으며, 향후 이를 바탕으로 한 세부 메커니즘의 설계 방향을 제시하였다. The huge Internet and electronic commerce shall be provided not only basic requirements of reliability, security extendibility, flexibility but also adaptive application service of multimedia data. There are required a lot of mechanism for network, operating system in multimedia computing and communication. In large distributed computing, QoS shall be provided a priority allocation service and an interactive infrastructure service as like not single media service of Video-on-Demand, and News-on-Demand but multimedia application service of MPEG video service. In this paper, supporting large distributed computing based on Internet, we propose a E-QoS Model as Integrated QoS Framework, and propose a direction of design for specific mechanism in the future works.

분산 컴퓨팅 환경과 미들웨어

조성연,장주만,전병태 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-

미들웨어라는 개념은 클라이언트/서버 환경에서 클라이언트와 서버를 연결해 주는 역할을 하는 모든 어플리케이션들을 포함한다. 그러나 단순히 클라이언트와 서버를 연결시켜 주는 것만으로 미들웨어라고 할 수 있는 것은 아니다. 클라이언트의 서비스 요구를 서버에게 전달하고 요구 사항을 처리한 서버의 결과를 클라이언트에게 전달하는 과정의 수행을 책임진다. 그 과정에서 실제 서비스의 처리나 결과를 사용자에게 보여주는 과정은 서버와 클라이언트의 몫으로 제외된다. 미들웨어는 분산 환경에서 확장성과 개방성을 제공하는 핵심 부분이다. 미들웨어의 기본 기능인 투명성이외의 통신 기능, 스케줄링 기능, 트랜잭션의 기능 등등의 많은 서비스를 제공한다. 현재 미들웨어는 제공하는 기능의 특징에 따라서 종류가 다양하다. 본 논문에서는 미들웨어의 범위를 정의하고 현재 개발되고 있는 미들웨어들인 RPC, ORB, MOM을 분석하고 비교한다. Middleware covers all softwares that connect client and server. but middleware not only do connection. it takes responsible all through process from that client requests service to that server returns result except real processing of service. middleware is essential of distributed environment. middleware provides communication function, thread scheduling function, transaction function etc. there are different characteristic middleware according to characteristics. this article defines what is middleware and compares different middlewares with another especially PRC, ORB, MOM.