• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.15 no.1
• /
• pp.17-27
• /
• 2005

With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found oかy to be later vulnerable to attacks. In this Paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1992.10a
• /
• pp.2-2
• /
• 1992

최근 여러 분야에서 컴퓨터의 용도가 확산되고 더 높은 computing power에 대한 요구가 증가함에 따라, 컴퓨터의 성능을 향상시키기 위하여 프로세서의 고속화와 함께 시스템 구조의 개선을 위한 많은 연구가 진행되고 있다. 한 시스템내에 여러 개의 CPU들이 존재하는 다중프로세서 시스템(multiprocessor system) 구조를 가진 슈퍼미니급 중형 컴퓨터들은 상호연결망으로서 버스(bus) 방식을 많이 채택하고 있다. 버스 구조는 하드웨어가 간단하여 구현이 용이하지만, 여러 개의 시스템 지원들(프로세서들, 기억장치 모듈들 및 입출력 모듈들)이 버스를 공유하기 때문에 경합으로 인한 지연 시간이 발생하게 된다. 이러한 지연 시간으로 인한 성능 저하를 개선하는 방법으로는 버스 수의 증가와 최적 통제 프로토콜의 설계가 있다. 본 연구에서는 여러 개의 버스를 가진 다중프로세서 시스템에서 4가지 대표적인 버스 중재 프로토콜들에 대해 성능을 분석, 비교하여 최적 프로토콜을 제시하고자 한다. 이러한 대규모 하드웨어에 의하여 구현되는 시스템에서 주요 설계 요소들에 따른 시스템 성능 분석과 비교는 설계 단계에서 필수적인 과정이다. 그러나 하드웨어를 만들어서 분석하는 방법은 시간과 비용이 많이 소요되기 때문에 소프트웨어 시뮬레이션 방법이 널리 사용되고 있다. 본 연구팀에서는 시뮬레이션 전용언어인 SLAM II를 이용하여 다중프로세서 시스템의 시뮬레이터를 개발하고, 버스중재 프로토콜(bus arbitration protocol)을 용이하게 변경할 수 있도록 하여 각각의 성능을 비교하였다. 이 연구에서 비교된 프로토콜들은 고정-우선순위 방식(fixed-priority scheme), FIFO(first-in first-out) 방식, 라운드-로빈 방식(round-robin scheme), 및 회전-우선순위 방식(rotating-priority scheme) 등이다. 실험은 시스템의 주요 요소들인 프로세서와 기억장치 모듈 및 버스의 수들을 변경시킴으로써 다양한 시스템 환경에 대한 분석을 시도하였다. 작업 부하가 되는 기하장치 액세스 요구간 시간가격(inter-memory access request time interval)은 필요에 따라서 고정값 또는 확률 분포함수를 사용하였다. 특히, 실행될 프로그램의 특성에 따라 각 프로토콜의 성능이 다르게 나타날 수 있음을 검증하였으며, 기억장치의 지역성(memory locality)에 대한 프로토콜들의 성능도 비교하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.673-676
• /
• 2001

시스템이 과거와 달리 통신을 이용한 분산 환경으로 많이 구현되고 있다. 이에 따라 각 시스템 사이에 통신 메커니즘에 따라 그 안정성 및 효율이 크게 좌우된다 현재 매우 다양한 통신 메커니즘이 제안되고 사용되고 있으나 점점 더 그에 대한 설계 및 이해가 복잡해지고 있는 실정이다. 따라서 복잡한 통신 메커니즘에 대한 정확성 검증이 매우 중요하다. 본 연구에서는 Spin 을 이용하여 복잡한 통신 프로토콜에 대해 모델링 및 정형 검증에 대해 논한다.

• Journal of Platform Technology
• /
• v.10 no.4
• /
• pp.25-38
• /
• 2022

Recently, it is reported that the Korean Unmanned Aerial Vehicle (UAV) interface protocol (K-4586) based on STANAG-4586 is being developed to secure interoperability between UAVs. The core elements of the K-4586-based Unmanned Aircraft System (UAS) are the Core UAV Control System (CUCS), Vehicle Specific Module (VSM), Data Link Interface (DLI), and C4I systems. In UAS based on K-4586, the DLI function for transmitting and receiving messages to link UAVs is included in VSM and CUCS respectively. The Generator/Analyzer (G/A) tool is an apparatus that is developed for protocol conformance verification for VSM and CUCS, and G/A tools with DLI message transmitting and receiving should be developed separately. Core applications (VSM, CUCS, DLI) and G/A tools based on K-4586 may be developed independently depending on the developers. If the DLI message modules are different for each developer, the scope and results of protocol conformance verification will be dissimilar, and some problems may happen during system integration. In this study, common DLI message module based on the API was designed to provide the DLI message transmitting and receiving function necessary to the development of core applications and the protocol conformance verification tool of based on K-4586. When applying the proposed common DLI message module, it can be expected to shorten the UAS system development period and reduce costs, and ensure conformance of protocol. In this paper, the design and implementation method for the common DLI message module based on API was proposed and the results of functional test was described.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.2
• /
• pp.7-17
• /
• 2004

It requires that user have to verify and conform with user authentication Protocol on non-meet face to face internet services offered by mobile terminal which user make known user's own intention, and user be using the normal. It is more operation time authentication protocol than Access control Protocol. That is what need to be user authentication protocol have verified security. non-reputation, and improved high-performance in operation time for mobile terminal. In order to solve the above demand, in this paper, we would design for mobile terminal of TCP User Authentication ECC Algorithm Protocol with a performance test. Algorithm has 160 bit key and designed IPv4 & IPv6 frame architecture. We should conclude that the proposed protocol have more verified security, non-reputation, confidentiality, and improved high-performance in operation time of mobile terminal from 1 to 17 times than before.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.6
• /
• pp.1576-1588
• /
• 1997

The AIN(Advanced Intelligent Network) employs the Intelligent Network Application Protocol(INAP) which is transparent to services and low layer telecommunication networks. In this paper, we introduce the standard structure of INAP, which has flexible structure for easy expansion as AIN evolves, and we propose a structure of INAP by defining its functional elements. Also we design, analyze the INAP for AAB(Automatic Alternative Billing) service, which is one of the target services of IN CS-1 using object-oriented methodology. We use OMT method which is modified by ObjectGEODE in the analysis phase and SDL language for design. Furthermore we simulate the INAP system to prove that the system has been correctly built and supplies the service correctly for which it was designed.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.1667-1670
• /
• 2005

본 논문에서는 차세대 통신 플랫폼을 위한 PCI Express의 전송계층과 데이터 연결계층의 모든 기능을 지원하는 PCI Express 컨트롤러를 설계하였다. 설계되어진 컨트롤러는 재전송 매커니즘을 효과적으로 지원하기 위해 제안되어진 송신버퍼 구조를 가지고 있다. 이 버퍼 구조는 전송 버퍼와 재전송 버퍼를 한 개의 버퍼로 통합하여 재전송 버퍼의 공간을 유동적으로 할당할 수 있는 방법이다. 또한 설계되어진 컨트롤러의 송신단 전송계층은 제안되어진 버퍼 구조 효과적으로 지원하도록 설계되어 졌다. 설계 되어진 컨트롤러의 각 블록을 효과적으로 관리하기 위해 80C51 마이크로프로세서를 내장하여 PCI Express 프로토콜을 제공하는 프로그램을 코딩하여 포팅하였다. 또한 설계되어진 컨트롤러의 검증을 위해, Host Bridge, 로컬 마스터 디바이스, 로컬 슬레이브 디바이스를 버스 동작 모델로 구성된 테스트 벤치도 제안하였다. 또한 실제 PCI Express 프로토콜 상에서 발생할 수 있는 모든 경우를 발생 하도록 하기 위해, 각 버스 동작 모델을 위한 어셈블러 명령어들을 정의 하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.11a
• /
• pp.30-34
• /
• 2001

본 논문에서는 근거리에 놓여있는 노트북, 휴대폰, PDA, 혜드셋 등 각종 이동 가능한 장치들을 하나의 무선네트워크로 연결할 수 있는 블루투스의 베이스밴드 시스템 프로토콜 기능을 분석하고 설계하였다. 즉, 전체적인 논리 기능구조를 설계한 후 하드웨어로 구현될 패킷생성 블록, HEC와 CRC 기능블륵, Whitening/Dewhitening 기능블록, FEC 기능블록, 입출력 블록(TX, RX 루틴), 클럭 생성 기능블록, 주파수 선별 기능블록, 오디오 기능블록 그리고, 패킷 제어 블록들의 처리절차를 Verilog HDL 코드로 설계 및 검증하였다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.1 s.343
• /
• pp.71-78
• /
• 2006

MANET routing protocols must support not only wireless networking without any relaying on network infrastructure, but also dynamic management of routing information caused by node mobility. Hence, they are one of important routing protocols for USN. Recently DYMO is regarded as a promising routing protocol for UMT because it is simple and easy to extend as well as it requires less networking load than others. In this paper, we design and implement DYMO routing protocol into various operation systems. Also, we develop a DYMO conformance test tool to evaluate our implementations.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.10
• /
• pp.2006-2013
• /
• 2015

In this paper we propose a multi-protocol gateway system based on low power wireless communications. The proposed multi-protocol gateway system was designed to allow real-time monitoring and control of the on-site situation through wired and wireless networks by gathering information for streetlight power control and environmental monitoring. The sensing data using multi-sensors with composite processing that selectively used wired or wireless communication (e.g., CDMA, Ethernet (TCP/IP), GPS, etc.) were designed to act as intermediaries that transmitted to the main server through ZigBee. Inaddition, they were designed by separating a CPU board and baseboard to ensure low maintenance cost and ease of hardware replacement. The proposed multi-protocol gateway system's power, impact, continuous operation stability, and immunity test results obtained a normal operation success rate of over 95% and normal continuous operation results. Moreover, in the voltage drop test, instantaneous immunity test, and conductive RF electromagnetic field immunity test, it obtained an average rating result of "A".