• Journal of Electrical Engineering and information Science
• /
• 제2권6호
• /
• pp.43-47
• /
• 1997

A procedure presented in this paper generates test sequences to check the conformity of an implementation with a protocol specification, which is modeled as a deterministic finite state machine (FSM). Given a FSM, a common procedure of test sequence generation, first, constructs a directed graph which edges include the state check after each transition, and produces a symmetric graph G* from and, finally, finds a Euler tour of G*. We propose a technique to determine a minimum-cost tour of the transition graph of the FSM. The proposed technique using Multiple Unique State Signature (MUSS) solves an open issue that one MUIO sequence assignment may lead to two more edges of unit cost being replicated to from G* while an optimal assignment may lead to the replication of a single edge of high cost. In this paper, randomly generated FSMs have been studied as test cases. The result shows that the proposed technique saves the cost 4∼28% and 2∼21% over the previous approach using MUIO and MUSP, respectively.

• 대한전기학회논문지:전력기술부문A
• /
• 제55권4호
• /
• pp.144-150
• /
• 2006

IEC 61850 is the worldwide protocol for the substation automation system. IEC 61850 transports the information which consists of different formats such as GOOSE(Generic Object Oriented Substation Event), MMS(Manufacturing Message Specification), SV(Sampled Values) and so on. For real time data transmission, GOOSE can be used. The remote-bus current data which were collected in a local-bus current differential IED can be transmitted to a distance IED at the same location by using GOOSE messages. The distance IED can eliminate the reactance effect by using the transmitted remote-bus current data. This method can improve the performance of the fault location.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.741-750
• /
• 1998

본 논문에서는 형식 기법을 이용하여 차세대 지능망 응용 프로토콜(INAP:Intelligent Network Application Protocool)적합성 시험 스위트를 생성하는 방법 및 IUT(Implenentation Under Test)시뮬레이터를 구축하여 시험을 수행함으로써 시험 스위트를 검증하는 방법에 관해 기술한다. SDL(Specification and Description Language)과 같은 형식 언어를 사용하여 INAP FSM(Finite State Machine)을 모델링하고 MSC(Message Sequence Chart)로 시험 목적을 기술한다. 기술된 FSM모델과 시험 목적을 검증하기 위해 모의 시험을 거치며, 검증이 완료된 후 시험 스위트로 변환이 된다. 형식 기법을 이용하여 INAP규격을 정확하게 기술할 수 있을 뿐 아니라 시험 스위트를 자동으로 생성함으로써 시간과 비용을 절감할 수 있다. 또한 생성된 시험 스위트를 시험기에 탑재하여 IUT시뮬레이터를 대상으로 시험을 수행함으로써 시험 스위트를 검증할 수 있는 방안을 제시하였다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.483-488
• /
• 2003

XKASS(XML Key Agreement Specification)는 사용자를 통해 XKMS와 연동하여 인증서 기반으로 클라이언트를 확인하고 키 동의를 하는 프로토콜이다. 기존 XKASS 에서는 공개키 암호화 기법을 사용해 키 교환을 하는 방식과 전자서명 기법을 사용해 키 교환을 하는 방식을 사용한다 기존 XKASS의 전자서명과 공개키 방식의 암호화 해독화 방법은 인증서를 그냥 전달함으로써 사용자의 신원이 노출되는 문제점이 있고, 계산 비용이 많이 든다. 본 논문에서는 기존의 XKASS 프로토콜에서 인증서 기반 공개키 암호화 방식을 사용한 키 교환 프로토콜을 사용하지 않고 키 교환 프로토콜을 수행하여 공격자에게 사용자의 신원보호를 제공하고 계산 비용을 줄인 확장된 XKASS 방식을 제안한다. 사용자에게 제한된 priority를 주는 것으로 DoS(Denial of Service) 공격을 예방한 기존의 XKASS를 확장하여 다중 영역에 사용할 수 있도록 제안하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2004년도 춘계종합학술대회
• /
• pp.651-654
• /
• 2004

본 연구에서는 HDL에서 블록 사이, 프로세스문장, 또는 일을 할당하는 순서를 조절하는 상위레벨 사건을 하위레벨 사건과 비교하여 정의하며, 상위레벨 사건은 자원충돌과 프로토콜 또는 사양의존 충돌로 구성된다는 것을 보여준다. 그리고 상위레벨 사건을 검출하기 위하여 2가지 검출방법이 제안된다.

• 한국군사과학기술학회지
• /
• 제14권6호
• /
• pp.1081-1090
• /
• 2011

High Level Architecture(HLA) is a specification for interoperation among heterogeneous simulators which are executed in a distributed environment. HLA originally allows a number of federates to join in a federation using a single RTI(Run-Time Infrastructure). To interoperate federations without modifying RTI, agent federate, which represents behavior of a federation, can be used. Agent federate can use MOM(Management Object Model) service or agent-user protocol to acquire information of a federation. This paper performs various experiments to measure performance of two architectures. MOM service shows a loss of performance but can be applied without modifying user federates. Experiment results can be used to determine appropriate architecture for interoperation of federations.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.388-390
• /
• 2004

컴퓨터 통신이 확대되면서 심각하게 대두된 문제 중 하나는 보안 프로토콜의 설계와 구현이라 할 수 있다. 현재 안전한 보안 프로토콜을 설계하기 위해 정형 기법을 적용하여 검증하는 연구가 많이 진행되고 있다 하지만 프로토콜을 설계 할 때 나타날 수 있는 보안적 취약 사항들을 정형 기법을 이용하여 제거한다 하더라도 구현된 프로토콜 상에서 프로그래머의 코딩 실수나 프로그램 언어의 특성상 보안 취약점이 존재할 수 있다. 따라서 보안 프로토콜 구현 시 나타날 수 있는 문제를 해결하기 위해 정형 검증된 프로토콜을 실제 구현 코드를 생성할 수 있는 도구의 필요성이 높아지고 있다. 본 논문에서는 Casper에서 보안 프로토콜을 검증한 후 검증된 프로토콜을 AISP-C2에 입력하여 C#으로 구현 코드를 자동 생성하도록 하고 정형 검증에서 검증한 수 없는 실제 컴퓨팅 환경에서 발생할 수 있는 보안성 취약점을 제거하기 위한 기능을 추가하였다.

• 정보처리학회논문지A
• /
• 제9A권4호
• /
• pp.429-440
• /
• 2002

스마트 카드는 독립적인 프로세서와 메모리를 내장한 독립적인 컴퓨팅 장치로서 최근 금융권에서는 기존의 마그네틱 카드를 대체하려는 움직임을 보이고 있다. 이러한 스마트 카드에 대한 표준은 세계 3대 국제 결제 기관인 Europay, Mastercard, Visa가 공통으로 제안한 EMV 표준을 따르고 있다. 본 논문에서는 스마트 카드용 터미널 상에서 다양한 응용 프로그램을 지원할 수 있도록 하는 EMV 표준 프로토콜의 구현에 대해 기술한다. 또한본 논문에서 구현한 EMV 터미널이 국제 규격 인증 과정을 통과한 내용을 기술한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1163-1165
• /
• 2000

최근 보안 프로토콜의 안전성을 검증하는 연구가 활발히 진행되고 있다. 이러한 연구 중 대표적인 방법이 CSP[1]와 FDR[2]과 같은 정형 기법을 이용하여 프로토콜을 분석하는 것이다. 이 방법은 매우 성공적으로 프로토콜의 문제점을 발견하고 안전성을 검증할 수 있었다. 하지만 CSP를 이용하여 프로토콜을 명세하는 것은 숙달된 전문가에게만 적합하고 시간이 오래 걸린다는 문제점을 갖는다. 이러한 문제점을 해결하여 좀 더 쉽게 프로토콜을 명세하여 CSP 코드를 생성해주는 캐스퍼(Casper)[3]가 제안되었다. 본 논문에서는 세 개의 메시지 교환을 통해서 키를 분배하는 키 분배 프로토콜을 제안하고 캐스퍼를 이용하여 제안한 프로토콜에 대한 정형 명세를 한다. 명세된 스크립트는 캐스퍼를 이용하여 FDR의 입력 파일이 되는 667 라인의 CSP 코드를 생성하였다. 캐스퍼를 이용한 정형 명세는 좀 더 편리하게 프로토콜을 명세할 수 있고 명세 시 발생할 수 있는 에러를 줄임으로써 신뢰성을 높일 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.415-418
• /
• 2004

기업간 전자상거래를 위한 국제표준인 ebXML 은 ebBPSS(ebXML Business Process Specification Schema)와 CPA(Collaboration Protocol Profile)에 기반하여 거래 당사자들이 협업 형태의 업무 처리 절차에 따라 문서 및 데이터를 주고 받을 수 있도록 해 준다. 거래 당사자들의 내부 업무처리 시스템에 연동되어 B2B 업무를 처리할 수 있도록 해주는 시스템을 BSI(Business Service Interface)라 하며, 이는 트랜잭션 관리, 업무 프로세스의 코레오그래피(Choreography), 문서 관리, 보안 관리 등 협업과 관련된 대부분의 역할을 수행하게 된다. 기업간 협업에 있어 가장 중요한 사항 중 하나는 어떤 상황에서도 양쪽의 협업상태 정보는 일관성을 유지해야 한다는 것이다. 이는 거래의 신뢰도를 확보하기 위한 필수사항이라 할 수 있다. 본 논문에서는 ebXML 프로토콜에 따라 거래행위시 협업상태 정보가 양측 거래파트너에서 각기 다르게 나타날 수 있는 상황을 살펴 보고 이에 따른 BSI 시스템의 대처방안에 대해 살펴보고자 한다.