페트리네트를 이용한 통신망간 연동 프로토콜의 검증

오행석(Heang-Suk Oh),김상은(Sang-Eun Kim),이상호(Sang-Ho Lee) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1

컴퓨터 네트워크가 여러 서비스를 통합하여 제공하는 종합정보통신망으로 발전하고 있는 추세에 따라 통신망들간 접속이 중요한 과제이다. 본 논문에서는 데이터통신망과 근거리통신망(LAN)간의 연동을 위해 게이트웨이 설계에 필요한 사항을 분석하고 망연동시 제공되는 접속 및 비접속지향형 서비스를 페트리네트로 모델링 하였다. 모델링한 결과의 동작성을 확인하기 위하여 도달트리를 구성하여 두망간의 연동 프로토콜이 정확히 동작됨을 검증하였다. 따라서 본 연구의 결과를 통신망을 접속하는 시스템에 적용하여 게이트웨이의 모델링과 설계한 프로토콜을 검증하는데 이용이 가능하다.

DAVIC 표준의 프로토콜 시험 방안 연구

오행석(Oh Heang Suk),박기식(Park Ki Shik),이상호(Lee Sang Ho) 한국정보처리학회 1999 정보처리학회논문지 Vol.6 No.1

Recently with the rapid development of data communication products and service industry, the systems on behalf of users for multimedia services such as VoD(Video on Demand), Teleshopping are at the height of development. However, if the new style products and services do not conform to the international standard, the products will come to lose the competitve power in the market. Therefore, it is essential to have conformance testing considered the properties of related protocol for the interoperability of the products and services. As a systematic and efficient conformance testing method of new products in respect of the main protocol of DAVIC(Digital Audio Visual council) standard, this paper presents the protocol test methodology and architecture: a single protocol stack and the related protocol stacks testing.

페트리네트를 이용한 시험스위트 생성 방법

오행석(Heang-Suk Oh),이상호(Sang-Ho Lee) 한국정보과학회 1997 정보과학회논문지 : 시스템 및 이론 Vol.24 No.3

본 논문은 페트리네트를 이용하여 프로토콜 시험 스위트를 생성하는 새로운 방법을 제안하였다. 이를 위해 페트리네트의 특성을 고려하여 점화트리(Firing Tree) 및 UT(Unique Transition) 개념을 사용하였다. 제안된 방법의 효율성과 타당성을 증명하기 위하여, 기존의 FSM 방식으로 시험 스위트를 생성한 모델을 사례로 하여 두 방법간의 차이점을 비교 분석하였다. 페트리네트를 이용하여 시험 스위트를 생성하는 방법 및 시험계열의 길이는 T.Voung이 제안한 FSM을 기반으로 하는 Uv - 방법과 차이는 없었다. 그러나 페트리네트로 시험계열을 생성하는 경우는 토큰이라는 다음 상태를 알리는 지시자가 존재하여, 초기 장소에서 시험하고자 하는 시험대상(장소 또는 전이)까지의 경로 및 시험 후 초기 장소로 복구하는 제어능력과 복구 특성이 우수함을 알 수 있었다. 또한 최적화 방법이 본 논문에서 제안한 방법에도 적용됨을 보이고 최적화 기법이 일반적인 UIO(Unique Input Output) 방법에 의해 생성된 시험 스위트 보다 약 40% 가량 길이가 짧고 강력한 시험 스위트를 생성하는 방법임을 실험적으로 확인하였다. This paper presents a new technique to generate a test suite from the Petri net specification in order to verify the protocol confonnity. In the generation of test sUite, we introduce the concept of firing tree and UTs (Unique Transition sequences). In order to show the efficiency and correctness of the proposed method, we have compared the results between the proposed method and the Uv-method proposed by T Vuong using the same model. As the results of the comparison, there are no difference of the test sequence length between two methods. Since our method use the token indicator for the next state, our method is more excellent than Uv-method in controllability and recoverability properties. Also in this paper, we have reduced the test sequence length using the optimization process.

BcN에서 이동성 제공을 위한 기술적 모델

오행석(Heang-Suk Oh),양종원(Jong-Won Yang) 한국엔터테인먼트산업학회 2009 한국엔터테인먼트산업학회논문지 Vol.3 No.2

BcN에서는 사용자가 요청하는 서비스 품질을 보장하기 위하여 네트워크 자원 상태를 파악하여 최적의 경로를 보장해야 한다. 또한 이동성 지원을 위해서는 핸드오버를 제공하며, 무선 환경에 따라 최적의 고속?고품질의 서비스를 지원 할 수 있어야 한다. 본 논문에서 제안한 기술적인 모델은 BcN에서 다양한 접속 기술을 갖는 무선 접속망들과 유기적으로 연결된 구조를 갖는 네트워크로 단말이 언제, 어느 곳으로 이동하는지에 관계없이 지속적인 서비스의 제공을 추구한다. 즉, 서비스를 이용 중인 단말이 이종의 액세스네트워크로 이동하는 경우 BcN의 코어 이동성 관리 기능을 통한 이동성 관리 동작에 의해 지속적으로 서비스가 제공될 수 있도록 한다. 그리고 접속 기술에 독립적인 통합된 L2 인터페이스 제공을 통해 L2 트리거를 통한 빠른 핸드오버를 지원할 수 있도록 구성하고 있다. BcN guarantees Optimal path to guarantee quality of user requiring service by grasping network resource. It also provides hand-over to support Mobility and optimal high-speed and high-quality service on wireless environment. A proposed technical model in this paper is a network that has a structure connected systematically with several wireless networks using variant accessing technique. This network provides service continuously whenever and wherever a terminal uses it. The wireless network service is able to be provided continuously using movement management activity via BcN core migration management method when a terminal moves other network that provides different accessing technique when the terminal still uses service. And, this technical model is constructed to be able to provide fast hand-over using L2 trigger via providing unified L2 interface that is independent of the accessing technique.

정지영상표준(JPEG)에 에지 검출 기법 적용

오행석(Heang-Suk Oh),성우형(Woo-Hyung Sung),이상호(Sang-Ho Lee) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1

영상의 에지 검출은 영상처리나 비젼시스템 분야에서 중요한 연구분야의 하나이다. 본 연구에서는 대상 영상의 특징을 추출하기 위해 마스크를 사용하여 그레디언트를 구한 후 에지를 검출하였다. 에지 검출 후 임계치를 변화시켜 이에 따른 영상의 변화를 분석한 후 그 결과를 현재 정지영상 기술의 표준으로 자리잡고 있는 JPEG 표준에 적용하여 JPEG 표준의 적용 범위를 확대하였다.

DAVIC 표준의 프로토콜 시험

오행석(Heang-Suk Oh),이동철(Dong-Chul Lee),박기식(Ki-Shik Park) 한국통신학회 1998 한국통신학회 학술대회 및 강연회 Vol.1998 No.12

액티브 노드로 구성된 콘텐츠 분산 최적화 시스템에 관한 연구

오행석(Heang-Suk Oh),양종원(Jong-won Yang),서창호(Chang-ho Seo) 한국엔터테인먼트산업학회 2008 한국엔터테인먼트산업학회논문지 Vol.2 No.1

콘텐츠 최적화 작업을 위한 오버레이 서비스 망은 액티브 노드들로 구성하며, 액티브 노드는 기존에 존재하는 노드들에 액티브 실행환경을 통해 구성할 수 있다. 액티브 실행환경은 노드 운영체제 상위에 설치되어 노드가 액티브 네트워크의 기능을 수행하도록 하는 환경을 제공해준다. 본 논문에서는 온디맨드(On-Demand)로 콘텐츠를 변환하고 사용자의 요구에 민감하게 대처할 수 있을 뿐 아니라 여러 노드로 작업을 분산시킬 수 있으므로 기존 시스템이 가지는 트래픽 병목 현상 및 서버 과부하 문제와 같은 중앙 서버 문제를 해결할 수 있다. 또한 액티브 네트워크 기술의 동적 코드 다운로드 기능을 이용하여 망 내에 존재하는 액티브 라우터에 필요한 콘텐츠 최적화 코드를 설치하거나 새로운 액티브 노드를 추가함으로써 기능을 망에 분산시킨다. The overlay service network for the contents optimization work organizes with active nodes. And the active node can comprise through the active execution environment in the existing nodes. The active execution environment provides with the environment which is installed in the node operating system upper position and in which a node performs the function of the active network. In this paper, by converting the contents to On-Demand it sensitively can sensitively manage with the requirement of user, in addition since a task can be dispersed to many nodes, the center server problem like the traffic bottle neck that the old system has and server overload problem can be solved.Moreover, by the contents optimized code required for the active router which is in intraomentally being installed or adding the new active node by using the dyanmic code download function of the active network technique a function is dispersed into a net.

미래 네트워크에서 안전한 이동성 제공을 위한 보안 모델

오행석(Heang-Suk Oh) 한국엔터테인먼트산업학회 2010 한국엔터테인먼트산업학회논문지 Vol.4 No.3

본 논문은 국제 표준인 [ITU-T Y. 2018]의 보안 요구사항을 고려하여 작성되었다. 본 논문은 인증과 키 관리 즉 보안 콘텍스 설정, IP 이동성 보안, 이동성 관리 보안 및 전송 계층에서의 제어 등을 이슈를 다루고 있다. 또한 본 논문에서는 네트워크 특성이 다른 망들 및 같은 망간의 이동성 시나리오를 제시하고 있다. 특히, 네트워크 특성이 다른 망간의 이동성 제공을 위하여 두 망사업자가 신뢰하는 경우와 비-신뢰하는 경우의 예를 보여 주고 있다. This paper considers the security requirements in [ITU-T Y. 2018]. This paper includes authentication and key management; security context establishment; IP mobility security; and security of mobility management, control and transport in the transport stratum. This paper provides the scenarios which include inter-technology mobility and intra-technology mobility. The scenarios also include intra-domain mobility and inter-domain mobility. In the case of inter-domain mobility, the relationship established between two domains includes both trusted and un-trusted cases.

페트리네트를 이용한 프로토콜 시험 방법

오행석(Heang-Suk Oh),이부호(Boo Ho Lee) 한국통신학회 1998 한국통신학회 학술대회 및 강연회 Vol.1998 No.7

안전한 모바일 웹서비스를 위한 보안 구조

이재승(Jae-Seung Lee),오행석(Heang-Suk Oh),한종욱(Jong-Wook Han) 한국엔터테인먼트산업학회 2008 한국엔터테인먼트산업학회논문지 Vol.2 No.2

웹서비스 기술이 다양한 플랫폼과 서비스 간의 연동을 위하여 널리 적용되기 시작하였다. 특히 모바일 환경은 이질적인 플랫폼으로 구성되며, 웹서비스 기술이 모바일 서비스 운영자, 서비스 제공자, 콘텐츠 제공자 사이의 통합 문제를 해결해줄 수 있기 때문에 웹서비스를 모바일 서비스 영역에 도입하려는 시도가 활발하게 진행되고 있다. 모바일 환경에서의 웹서비스 기술 적용을 위해 가장 중요한 이슈 중의 하나는 보안 문제이다. WS-Security와 같은 웹서비스 보안을 위한 요소 기술은 이미 개발이 된 상태이지만, 모바일 단말은 유선 환경에 비해 성능이 제약되어 웹서비스 프로토콜을 모두 수용할 수 없으며, 기존의 모바일 서비스를 제공하는 서버 중 상당수는 웹서비스 보안 기능을 제공하지 않기 때문에 이러한 다양한 요소들을 포함한 모바일 웹서비스 환경을 위한 보안 서비스 구조 개발이 필요하다. 또한 모바일 웹서비스는 HTTP 포트를 사용하기 때문에 기존의 파이어월로 메시지를 필터링 할 수 없으며, 기존과는 다른 메시지에 대한 접근 제어 메커니즘이 필요하다. 본 논문에서는 모바일 웹서비스에 대한 보안 요구 사항을 분석하고 이를 해결하기 위한 보안 구조 및 보안서비스 시나리오를 제안한다. Web Services are being widely deployed to facilitate interoperability across different platforms and services. The mobile environment consists of heterogeneous platforms, and the mobile industry is trying to apply Web Services technologies to the mobile domain since they can solve integration problems between operators, service providers, and content providers. Security is one of the most important issues in the adoption of Web Services in the mobile environment. Although component technologies for Web Services security such as WS-Security have already been developed, it is not easy to apply the technologies to the mobile environment, since most of the mobile terminals do not have the enough processing power to fully support Web Services protocol stack, and many backend application servers are not based on Web Services. Therefore, security service architecture for such mobile environment is required. Since mobile Web Services use HTTP ports and they cannot be filtered by traditional firewalls, new access control mechanisms for mobile Web Services is also required. This paper analyzes the security requirements for mobile Web Services and proposes a security architecture and security service scenario for secure mobile Web Services that satisfies the requirements.