The Transactions of the Korea Information Processing Society (한국정보처리학회논문지)

Korea Information Processing Society (한국정보처리학회)
권호 표지

A Formal Model of Managed Objects with Temporal and Active Properties Using BDL

BDL을 이용한 망관리 객체의 시간지원 능동특성에 대한 정형적 모델

  • Choe, Eun-Bok (Dept.of Computer Science, Graduate School of Chonnam National Universityisy) ;
  • No, Bong-Nam (Chonnam National Universityisy)
  • 최은복 (전남대학교 대학원 전산학과) ;
  • 노봉남 (전남대학교 컴퓨터정보학부)
  • Published : 2000.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

본 논문에서는 시간속성과 능동특성을 지원하는 관리객체의 동적특성 표현언어 BDL(Behaviour Description Language)을 이용하여 시스템 망관리 모델의 관리기능을 정형적으로 표현하였다. 그리고 BDL로 표현된 관리기능을 CORBA IDL로 변환하는 BDL＿to＿IDL 컴파일러를 설계·구현하였다. 특히, 망 관리 정보베이스에 저장되어있는 관리객체를 안전하게 보호하기 위해 ITU-T 권고안에 정의된 강제적 접근제어 모델과 역할기반 접근제어 모델을 상호연동한 접근제어모델을 정의하였다. 또한, 관리속성값을 제어하는 관리연산을 연관된 유형별로 묶어 역할로 정의하고 관리자와 관리객체에 인가등급과 보안등급을 부여하여 역할배정규칙과 제약조건에 따라 관리정보의 접근을 제어함으로써 보다 무결성을 보장받도록 하였다.

Keywords