• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2002년도 종합학술발표회논문집
• /
• pp.288-291
• /
• 2002

보안 프로토콜을 이용하여 사용자 상호 간의 정보의 비밀성, 무결성, 부인방지를 보장하는 일은 반드시 필요한 과제가 되었다. 이에 따라 해당 서비스에 대해 적합한 사용자를 인증하고 인가하기 위해 다양한 보안 프로토콜(EKE, S/KEY, Kerberos등)이 사용되고 있으며, 이와 더불어 보안 프로토콜을 정형적으로 명세하고 검증하기 위한 다양한 방법들이 연구되고 있다. 본 논문에서는 Casper와 FDR을 이용하여 SSH 프로토콜의 취약성을 분석하고, 수정하여 SSH 프로토콜의 안전성을 향상시키고자 하였다.

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

UML은 범용의 목적으로 설계된 모델링 언어이지만 않은 도메인 영역에서 사용되고 있다. 그것은 UML을 각 도메인의 특성에 맞게 확장할 수 있는 프로파일이라는 메커니즘을 자체적으로 보유하고 있기 때문이다. UML 표준 명세에 기술되어 있는 확장 메커니즘과 프로파일은 그 자체로 매우 잘 설계된 모델이나 그대로 설계 도구에 도입하기에는 부적합한 면이 않다. 본 논문에서는 UML 기반의 설계 도구에서 프로파일을 수용할 수 있도록 확장 메커니즘 모델을 개선하고 프로파일을 정의할 수 있는 정형적인 방법들을 제시한다.

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

최근, 컴포넌트 기술의 발전에 따라 웹 기반 교육 시스템에서도 이를 응용하여 다양한 교육 컨텐츠의 제공 및 활용하려는 연구가 진행되고 있다. 또한, EJB는 웹 기반 컴포넌트 모델로서 웹 기반응용 시스템부분에서 많은 관심을 받고 있다 그러나, 컴포넌트 기반 웹-코스웨어는 이용 가능한 상용 컴포넌트와 인식부족으로 아직까지 실용화되지 못하고 있는 실정이며 분석에 관한 정형화도 이루어지지 않고 있다. 따라서, 본 연구에서는 EJB 컴포넌트를 이용한 웹 코스웨어를 분석 및 구현을 하였다. 컴포넌트들 사이의 메시지 흐름에 대한 정형적인 명세 분석을 위하여 페트리 넷을 이용하였으며, 각 기능에 따라 무상태 세션 빈의 형식으로 EJB 시스템을 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
• /
• pp.12-14
• /
• 2000

실제품과 동일한 물리적 특성과 기능적 특성을 갖는 디지털 모델을 만드는 가상 프로토타입핑 기술은 내장형 시스템이 복잡해질수록 더욱 중요시되는 기술이다. 가상 프로토타입핑 요소기술중 정형 명세언어인 Statechart는 제품의 기능적 특성을 나타낸다. 그러나 기존 가상 프로토타입핑에서 사용되고 있는 Statechart에서의 재사용은 단지 복사하여 붙이는 방법만 있어서 재사용시 시스템 설계자의 세밀한 분석이 요구된다. 본 논문에서 구현한 가상 프로토타입핑을 위한 Statechart 도구는 제품의 생명주기를 줄이고, 제품의 시장적기진입을 위해 컴포넌트 기법을 이용하여 보다 빠른 시스템의 설계를 지원한다.

• 전자통신동향분석
• /
• 제13권6호통권54호
• /
• pp.94-107
• /
• 1998

연구 개발의 주된 내용은 SDL(Specification Description Language)을 위한 정형기법 지원도구 중 명세상에서 행위 부분에 대한 동적 특성을 검정하는 검정기 개발이다. 모델 검정기는 해당 프로토콜에 대해 생성된 중간 모델 I/O FSM(Input/Output Finite State Machine)에 Modal-calculus에 의해 검정대상인 deadlock, livelock, reachability 및 liveness에 대한 표현과 I/O FSM에 대해 해당 알고리즘 적용 및 분석 기능을 C++언어로 구현하였다. 또한 SDL Editer 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 환경 및 통합 모듈을 구현한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.445-447
• /
• 2000

객체지향 프레임워크는 다수의 응용 소프트웨어 개발에 반복적으로 재사용되므로 철저한 시험이 요구될 뿐만 아니라 재사용시 확장된 프레임워크에 대해서도 추가적인 시험이 필요하다. 본 논문에서는 재사용시 다양한 형태의 객체 구조들로 개조, 확장될 수 있는 프레임워크의 가변부위에 대해 구조적 테스트 패턴들을 프레임워크의 합성 패턴들로부터 조직적으로 추출하는 방법을 기술한다. 여기서 제안된 방법은 가변부위 클래스 구조의 테스트 모델을 정형 명세화하고, 이로부터 시험에 필요한 구조적 테스트 패턴을 추출하는 방법을 제공한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.145-147
• /
• 2000

Statechart는 기존 상태추이도를 확장한 것으로서, 반응시스템을 명세하기 위해 제안된 가시적 정형기법이다. 그러나 statechart에서의 비결정성은 실시간 시스템에서의 예측가능성에 심각한 문제를 유발할 수 있다. 또한, 이를 해결하기 위한 기존의 우선순위 표현방법은 statechart의 비결정성을 완전히 해결하지 못하고 있을 뿐 아니라 실시간 시스템에서 요구하는 다양하고 동적인 우선순위 변화를 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적으로 우선순위 변화에 표현하기에 부적합하다. 이와 같은 문제점을 해결하기 위하여 본 논문에서는 미리 예측가능하고 동적 우선순위를 변화시킬 수 있는 동적 우선순위 개념을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.37-39
• /
• 2002

정형 언어 OCL은 UML의 한 부분으로써 클래스 다이어그램과 상태 기계의 조건을 표현하는데 많은 장점을 가지고 있다. 그렇지만, OCL을 이용하여 상태 기계를 메타모델링 하는데는 적지 않은 한계가 있다. UML/OCL은 모델의 정적인 구조를 강조하지만, 시스템이나 서브 시스템의 시간과 환경에 대한 반응을 고려는 미흡하다. 또한, 시스템의 변화에 있어 시그널은 오퍼레이션과 유사하지만 상태 기계에서만 다루어진다. 결국, 시스템의 변화에 대한 고려는 상태 기계를 통하여 보다 명확하게 명세 될 수 있으며, 현재 OCL의 확장으로써 이러한 문제를 해결 할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.568-570
• /
• 2004

MANET에서 라우팅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅을 해야 하는 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹을 형성하고, 반응적 라우팅 프로토콜인 AODV를 수정하여 EAODV(Energy aware ADODV)를 제안하고 이를 정형 기법을 통해 명세하고 항상 라우팅 패스를 찾는다는 속성을 검증한다.

• 정보보호학회지
• /
• 제17권6호
• /
• pp.67-74
• /
• 2007

정보통신과 인터넷 기술의 발전으로 실생활에서 정보의 이용이 용이해 지면서, 쉽게 정보를 얻기 위한 정보에 대한 공유와 검색에 관련한 기술이 발전하게 되었다. 그 결과로 정보는 쉽게 얻을 수 있게 되었지만, 개인정보 유출, 악의적인 시스템 파괴 등 역기능 빠른 속도로 늘어나고 있다. 이에 따라 국제적으로 정보보호의 중요성대 대두 되고 보안에 대한 필요성이 극대화 되었으며, 시스템 보안성의 신뢰도를 일관성 있게 평가하기위하여 공통평가기준이 제정되었다. 특히, 높은 신뢰도를 요구하는 보안기능에 대해서는 수학적, 논리적 기반의 명확한 명세와 엄밀한 증명을 수행하는 정형기법을 사용한 경우에만 고등급을 획득할 수 있다. 본고에서는 공통평가기준과 정형기법의 상관관계를 설명하고, 고등급 평가에 관련된 국외 동향을 기술한 후, 간단한 예를 들어 보안정책모델의 정형화 방법에 대하여 기술하였다.