• Journal of KIISE:Information Networking
• /
• v.29 no.6
• /
• pp.635-644
• /
• 2002

We propose the PBSM(Protocol-Based Security Module) system which guarantees the secure data transmission under web environments. There are two modules in the PBSM architecture. One is Web Server Security Module(WSSM) which is working on a web server, the other is the Winsock Client Security Module(WSCSM) which is working on a client. The WSCSM security module decrypts the encrypted HTML document that is received from the security web server. The decrypted HTML document is displayed on the screen of a client. The WSSM module contains the encryption function for HTML file and the decryption function for CGI(Common Gateway Interface). The formal analysis methodology is imported from format theory for analyzing the data flow of the PBSM system. The formal analysis methodology is based on the order theory.

• Journal of Korea Society of Industrial Information Systems
• /
• v.20 no.6
• /
• pp.11-20
• /
• 2015

This paper describes design and implementation experience of SAS-G2S slotmachine accounting protocol middleware system that converts the legacy binary format SAS (Slot Accounting System) protocol with servers with recent standards G2S protocol. The paper examines the difference of two protocols such as link control, message format, and parameters. The converter architecture uses bridge and connector patterns and implemented in C++ and Python mixed language on Linux environment. The prototype system uses a 1GMHz-512MB linux machine and has passed Korean official protocol compatibility and performance test in 2015.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.313-314
• /
• 2014

인구의 고령화로 만성질환자가 증가함에 따라 개인건강관리를 위한 U 헬스 서비스에 관심이 증대되고 있다. U 헬스 서비스를 활용하기 위해서는 다양한 생체정보를 간편하게 측정하는 개인건강기기(PHD, Personal Health Device)가 필요하다. 하지만 혈압, 심전도, 혈당, 산소포화도 등을 측정하는 개인건강기기는 제작 회사마다 서로 다른 프로토콜과 포맷으로 개발되어 기기간의 상호 운용성(Interoperability)이 보장되지 않는다. 또한 각기 다른 포맷으로 측정된 데이터를 병원정보시스템(HIS, Hospital Information System)간 공유하고 관리하는데 어려움이 존재한다. 이에 따라, 본 논문에서는 개인건강기기 국제 표준인 IEEE 11073 PHD 를 기반으로 다양한 개인건강기기와 실시간으로 통신하며, 측정된 생체정보를 관리하고 전송하는 모바일 헬스케어 매니저 설계를 제시한다. 제시한 매니저는 다양한 모바일 기기 중 스마트폰 기반으로 설계하였고, 각기 다른 포맷으로 측정된 데이터를 국제표준 메시지 교환방식인 HL7 (Health Level Seven)메시지로 변환하여 전달하는 게이트웨이 역할을 담당한다.

• 한국IT서비스학회:학술대회논문집
• /
• 2006.11a
• /
• pp.177-184
• /
• 2006

시스템의 동적 요소를 기술하고 분석하기 위해 C&C view 아키텍처를 주로 사용하지만 시스템의 실행 순서나 상태에 대한 정보가 부족하기 때문에 단지 C&C view 아키텍처로만 시스템의 동적 요소를 분석하기가 어렵다. FSP model은 시스템의 동작을 표현하기 위한 모델링 언어로써 시스템의 동작을 모델링 할 뿐만 아니라 LTSA라는 FSP 검증 툴을 이용하여 시스템의 특성을 자동으로 파악하기에도 용이한 특성을 가지고 있어 시스템 동적 요소 분석에 도움을 준다. 하지만 관련 정보를 얻기 어려워 FSP model을 구현하는데 어려움이 있다. 이 논문은 C&C view 아키텍처와 요구 사항(Use Case Scenario 혹은 Sequence diagram)을 근간으로 시스템의 동적 요소를 FSP로 모델링 하는 방법을 정의한다. 또한 LTSA 툴을 이용하여 자동적으로 시스템의 특성을 검증할 수 있고, 이를 통해 시스템 구현 전에 시스템의 에러를 찾아내고 해결하는 도움을 줄 수 있다. C&C view 아키텍처는 시스템의 컴포넌트와 커넥터에 대한 정보를 제공하여 주고 요구 사항은 소프트웨어 시스템의 행동에 대한 정보를 제공하여 줄 수 있다. 만약 우리가 컴포넌트와 커넥터에 대한 정보가 있고 시스템 동적 요소에 대해 알고 있다면 우리는 이것을 기반으로 메시지 흐름도를 구현할 수 있다. 메시지 흐름도는 Harel, Kugler 와 Pnueli에 의해 개발된 Synthesized 알고리즘을 이용하여 Statechart로 만들어지고 이것은 바로 FSP model로 변환될 수 있다. 우리가 소프트웨어 시스템에 대한 FSP model을 가지고 있다면 이것을 기반으로 시스템 행동 특성을 체크할 수 있으며 이는 향후 발생할 수 있는 결함을 미리 찾아내는데 유용한 도움이 될 수 있다. 우리는 간단한 예제를 통해 본 논문의 이론을 수립하였으며 이를 기반으로 실제 어플리케이션에 적용하여 그 효용성을 검증하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.11 no.1
• /
• pp.131-138
• /
• 2007

Plain old Web Services came true a services integration with use the XML that will be able to define a platform-independent document format in basic document format. Hut, the XML document decreases the efficiency of the whole application program with connects frequently in relatively slow communication media like network environment, embedded system or use the resource limited small-sized instrument like mobile. In this paper, we implemented the algorism of Fast Infoset, which can convert XML into Fast XML using the Fast Inoset method and PER encoding rules in ASN.1 and constructs Test Bed. Also, it is compared with the existing pure XML message method in difference of process performance after encoding SOAP messages of XML basis when constructing web service.

• Journal of KIISE:Computer Systems and Theory
• /
• v.27 no.5
• /
• pp.464-474
• /
• 2000

All-to-all personalized communication, or complete exchange, is at the heart of numerous applications, such as matrix transposition, fast Fourier Transform(FFT), and distributed table lookup.We present an efficient all-to-all personalized communication algorithm for a 2D torus inwormhole-routed networks. Our complete exchange algorithm adopts divide-and-conquer approach toreduce the number of start-up latency significantly, which is a good metric for network performancein wormhole networks. First, we divide the whole network into 2x2 basic cells, After speciallydesignated nodes called master nodes have collected messages to transmit to the rest of the basic cell,only master nodes perform complete exchange with reduced network size, N/2 x N/2. When finishedwith this complete exchange in master nodes, these nodes distribute messages to the rest of the masternode, which results in the desired complete exchange communication. After we present our algorithms,we analyze time complexities and compare our algorithms with several previous algorithms. And weshow that our algorithm is efficient by a factor of 2 in the required start-up time which means thatour algorithm is suitable for wormhole-routed networks.

• Journal of KIISE:Computing Practices and Letters
• /
• v.9 no.3
• /
• pp.227-240
• /
• 2003

When we develop and use the java-based distributed object system, the system developer must deploy distributed object, which is implemented to predefined interface, to network and the system user acquires reference about distributed object and changes reference to interface type. Sharing of interface is essential for these works In this paper, we propose the IRSJ(interface repository service based on jim) to improve efficiency of interface sharing at the JINI system development. the IRSJ is consisted of the java classes for JINI system and interface sharing service. If development teams perform collaborative work in short distance, the IRSJ can search interface file without information of lookup server or interface writer If development teams perform collaborative work in long distance, the IRJS can search interface with only an address of server that executes lookup service. Although the interface object not requires additional search, the interface object that failed search interface can download interface and use interface using remote event model. When the message service fails in interface search, the message service sends interface request message to a development team member who use the IRSJ automatically, so that interface sharing may be possible in short time.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.10 no.5
• /
• pp.506-512
• /
• 2000

In this paper, we propose a Fuzzy Classifier System(FCS) makes the classifier system be able to carry out the mapping from continuous inputs to outputs. The FCS is based on the fuzzy controller system combined with machine learning. Therefore the antecedent and consequent of a classifier in FCS are the same as those of a fuzzy rule. In this paper, the FCS modifies input message to fuzzified message and stores those in the message list. The FCS constructs rule-base through matching between messages of message list and classifiers of fuzzy classifier list. The FCS verifies the effectiveness of classifiers using Bucket Brigade algorithm. Also the FCS employs the Genetic Algorithms to generate new rules and modifY rules when performance of the system needs to be improved. Then the FCS finds the set of the effective rules. We will verifY the effectiveness of the poposed FCS by applying it to Autonomous Mobile Robot avoiding the obstacle and reaching the goal.

• Journal of Internet Computing and Services
• /
• v.3 no.2
• /
• pp.79-85
• /
• 2002

In open communication architecture, application systems consist of objects distributed in lots of computing nodes. To reduce complexity of development. and management of distributed software, to manage efficiently distributed objects and to provide realtime service, the mechanisms for object group management and communication are needed in distributed environment. In this paper we compose object groups and provide reliable group communication mechanism based on CORBA which can adopt a new service without lots of changes on existing system. Group consist of some subgroups that subgroup manager manages for improving the efficiency of group management and message ordering is kept by using sequencer, Communication method among groups uses multicast based on paint to point communication as well as IP multicast and we provide high performance by using selective retransmission of message through message history, We analyze the performance of the proposed mechanism through simulation in distributed environment.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.37 no.5
• /
• pp.1-10
• /
• 2000

In this paper, we propose a Fuzzy Classifier System(FCS) makes the classifier system be able to carry out the mapping from continuous inputs to outputs. The FCS is based on the fuzzy controller system combined with machine learning. Therefore the antecedent and consequent of a classifier in FCS are the same as those of a fuzzy rule. In this paper, the FCS modifies input message to fuzzified message and stores those in the message list. The FCS constructs rule-base through matching between messages of message list and classifiers of fuzzy classifier list. The FCS verifies the effectiveness of classifiers using Bucket Brigade algorithm. Also the FCS employs the Genetic Algorithms to generate new rules and modify rules when performance of the system needs to be improved. Then the FCS finds the set of the effective rules. We will verify the effectiveness of the poposed FCS by applying it to Autonomous Mobile Robot avoiding the obstacle and reaching the goal.