• 한국통신학회논문지
• /
• 제18권12호
• /
• pp.1828-1840
• /
• 1993

본 논문은 광역 통신망에서의 비디오회의를 위한 중앙집중식 프로토콜 모델을 제시한다. 이 모델은 사용자, 서버, 믹서의 세 요소로 구성된다. 서버는 호관리기능을 전부 취급하고, 믹서는 실시간 트래픽 혼합을 행한다. 제어와 데이터는 본모델에서 각각 분리된 커넥션을 따라 운반된다. 호관리 프로토콜, 미디어 트랜스포트 프로토콜, 멀티미디어 동기 프로토콜 등 새로운 프로토콜들이 정의되었다. 본논문은 또한 믹서의 기능설계도 포함하고 있다.

• 전자공학회논문지CI
• /
• 제39권3호
• /
• pp.1-17
• /
• 2002

본 논문은 심볼릭 모델 체커 SMV(Symbolic Model Verifier)를 이용하여, 한국전자통신연구원 (Electronics and Communications Research Institute)에서 개발한 캐쉬 일관성 프로토콜인 RACE(Remote Access Cache coherency Enforcement) 프로토콜의 몇 가지 특성(property)들을 검증함으로써, RACE 프로토콜이 중요 요구사항(requirement)들을 만족함을 보인다. 본 검증에서는 RACE 프로토콜의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 CTL(Computational Tree Logic)을 이용하여 나타낸다. 본 검증을 통해서 RACE 프로토콜은 4개의 노드로 구성된 시스템에서 비정상적인 state/input 조합이 발생하지 않으며, liveness와 safety를 만족한다는 것을 검증하였다. 또한, 프로토콜 개발자들이 예상하지 못한 명세서 상의 모호성(ambiguity) 및 기아현상(starvation)을 발견하였으며, 본 검증 사례를 통하여 모델 체킹 기법이 하드웨어 프로토콜 검증에 효과적으로 이용될 수 있다는 것을 제안한다. 그리고, 검증시에 구현된 모델을 이용하여 시뮬레이션 및 테스팅에 유용하게 사용될 수 있는 테스트 케이스를 자동적으로 생성할 수 있는 새로운 방법을 제안한다.

• Journal of Communications and Networks
• /
• 제18권5호
• /
• pp.857-869
• /
• 2016

This paper proposes an X-MAC/BEB protocol that runs a binary exponential backoff (BEB) algorithm on top of an X-MAC protocol to save more energy by reducing collision, especially in densely populated wireless sensor networks (WSNs). X-MAC, a lightweight asynchronous duty cycle medium access control (MAC) protocol, was introduced for spending less energy than its predecessor, B-MAC. One of X-MAC 's conspicuous technique is a mechanism to allow senders to promptly send their data when their receivers wake up. X-MAC, however, has no mechanism to deal with sudden traffic fluctuations that often occur whenever closely located nodes simultaneously diffuse their sense data. To precisely evaluate the impact of the BEB algorithm on X-MAC, this paper builds an analytical model of X-MAC/BEB that integrates the BEB model with the X-MAC model. The analytical and simulation results confirmed that X-MAC/BEB outperformed X-MAC in terms of throughput, delay, and energy consumption, especially in congested WSNs.

• 한국도서관정보학회지
• /
• 제35권2호
• /
• pp.219-241
• /
• 2004

OAI는 디지털도서관의 상호운용성을 위해 개발된 프로토콜이자 철학적 기반이다. 이는 메타데이터의 수확을 위한 프로토콜로서, 분산환경의 디지털도서관의 효율적인 접근과 정보접근 역량을 제고시켜 학술정보의 효율적인 유통을 보장하기 위하여 개발되었다. 따라서 본 논문은 OAI 프로토콜의 등장배경, SP/DP 모델, 관련된 기술 및 구성요건을 살펴보고, 국내에서 처음으로 시도된 KERIS의 적용사례와 OAI에서 권장하는 기본요건과의 차이점을 비교분석하고 있다.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권11호
• /
• pp.4310-4330
• /
• 2020

With the continuous emergence of new applications and cyberattacks and their frequent updates, the need for automatic protocol reverse engineering is gaining recognition. Although several methods for automatic protocol reverse engineering have been proposed, each method still faces major limitations in extracting clear specifications and in its universal application. In order to overcome such limitations, we propose an automatic protocol reverse engineering method using a two-pathway model based on a contiguous sequential pattern (CSP) algorithm. By using this model, the method can infer both command-oriented protocols and non-command-oriented protocols clearly and in detail. The proposed method infers all the key elements of the protocol, which are syntax, semantics, and finite state machine (FSM), and extracts clear syntax by defining fine-grained field types and three types of format: field format, message format, and flow format. We evaluated the efficacy of the proposed method over two non-command-oriented protocols and three command-oriented protocols: the former are HTTP and DNS, and the latter are FTP, SMTP, and POP3. The experimental results show that this method can reverse engineer with high coverage and correctness rates, more than 98.5% and 99.1% respectively, and be general for both command-oriented and non-command-oriented protocols.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2544-2552
• /
• 1997

본 논문은 병렬 프로토콜 구현을 위해서 (1)채널통신 모델, (2)포크-조인 모델, (3)사건조회 모델이라 부르는 3 가지 유형의 다중 프로세스 모델을 제시한다. 각 모델에 대한 병렬화 사양을 위해서 병렬 프로그래밍 언어인 Par. C System을 사용한다. 제안한 다중 프로세스 모델의 성능을 측정하기 위하여 인터넷 프로토콜 스택의 Internet Protocol (IP)을 Transputer상에서 구현한다. IP 프로토콜 기능은 송신측과 수신측으로 분리하고 양측의 병렬화는 Multiple Instruction Single Data(MISD) 구조를 이용한다. 제안한 모델들은 다양한 실행시간 과부하에 대하여 성능 평가와 비교 분석을 한다. 즉, 채널통신 모델에서는 채널을 경유한 사건 송신, 포크-조인 모델에서는 프로세스 생성, 그리고 사건조회 모델에서는 프로세스간 문맥전환시에 발생하는 과부하를 송신측과 수신측에 대하여 성능을 분석한다. 송신측의 성능 측정 결과, 사건조회 모델이 채널통신 모델과 포크-조인 모델과 비교하여 77%와 9%의 빠른 처리 시간을 보였다. 수신측에서는 포크-조인 모델이 채널통신 모델과 사건조회 모델과 비교하여 55%와 107%의 빠른 처리 시간을 보였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• Smart Structures and Systems
• /
• 제21권2호
• /
• pp.225-234
• /
• 2018

E-Health allows you to supersede the central patient wireless healthcare system. Wireless Body Sensor Network (WBSN) is the first phase of the e-Health system. In this paper, we aim to understand e-Health architecture and configuration, and attempt to minimize energy consumption and latency in transmission routing protocols during restrictive latency in data delivery of WBSN phase. The goal is to concentrate on polling protocol to improve and optimize the routing time interval and schedule communication to reduce energy utilization. In this research, two types of network models routing protocols are proposed - elemental and clustering. The elemental model improves efficiency by using a polling protocol, and the clustering model is the extension of the elemental model that Destruct Supervised Decision Tree (DSDT) algorithm has been proposed to solve the time interval conflict transmission. The simulation study verifies that the proposed models deliver better performance than the existing BSN protocol for WBSN.

• 한국정보처리학회논문지
• /
• 제7권9호
• /
• pp.2948-2957
• /
• 2000

B-ISDN 환경에서 액세스 망은 다양한 유형의 가입자들을 서비스 노드로 집선하는 기능을 수행한다. 종단간 ATM 연결의 설정을 위하여 엑세스 망의 연결 제어 프로토콜과 신호 프로토콜간의 연동 기능이 필요하다. 이러한 연동 기능은 연동 방식에 따라 순차형 연동방식과 병렬형 연동 방식이 있다. 순차형 방식에서는 각 프로토콜의 연동이 순차적인 방식으로 진행되며, 병렬형 방식은 광대역 액세스 망의 도입으로 인한 연결 설정 지연을 최소화하기 위하여 각 프로토콜의 연동 절차가 병렬형으로 진행된다. 본 논문에서는 CBR과 VBR 전달 능력을 요구하는 호들이 혼합되어 입력될 때, 큐잉 모델 분석 및 시뮬레이션을 통하여 연결 설정 지연 및 완료비에 대한 두 방식의 비교 및 분석을 수행하였다. 큐잉 모델을 분석 및 시뮬레이션 결과 병렬형 연동 방식과 순차형 연동 방식의 연결 설정 완료비는 거의 동일하며, 연결 설정 지연 면에서 병렬형 연동 방식이 순차형 방식에 비해 약 33% 향상되었다.

• 전기학회논문지
• /
• 제64권10호
• /
• pp.1454-1459
• /
• 2015

In this paper, a drug treatment protocol is proposed for an HIV infection model that explicitly includes the concentration of healthy T cells, infected T cells, and HIV. Since real parameters of HIV infection model differ from patient to patient, most drug treatment protocols are not able to achieve the treatment goal in the presence of modelling errors. Recently, based on the nonlinear robust control theory, a robust treatment protocol has been proposed that deals with parameter uncertainties. Although the developed scheme is inherently complex, it cannot be applied to the case where all parameters are unknown. In this paper, we propose a new drug treatment protocol that is much simpler than the previous one but can achieve the treatment goal even when all model parameters are unknown. The simulation results verify that the substantial improvement in the performance can be achieved by the proposed scheme.