Z 언어를 기반으로 CORBA 보안의 정형화된 접근 제어 모델 개발

Vol. 7, No. 3, pp. 79-94, 6월. 1997
10.13089/JKIISC.1997.7.3.79, Full Text:
Keywords:
Abstract

분산 객체 시스템에서 보안 기술과 객체지향 기술의 통합은 중요한 요소이기 때문에 OMG(Object Management Group)에서는 객체 시스템에서 보안성을 다루기 위한 표준 보안 서비스 규격으로 CORBA(Common Object Request Broker Architecture) 보안 참조 모델(security reference model)을 제시하였다. CORBA 보안 참조 모델에서 접근 제어 기능은 특정 구현 메카니즘에 종속되지 않는 독립적인 개념으로 정의되고 있으며, 또한 보안 특성의 의미가 완전하게 기술되지 않는다. 이는 구현자와 사용자가 상호 일치되지 않은 개념을 갖을 가능성을 내포한다 따라서 본 논문에서는 CORBA 보안참조 모델에 기술된 접근 제어 기능이 갖는 의미가 정확히 기술될 수 있도록 집합론에 기초하는 정형화 언어인 Z 언어의 스키마 구조를 이용하여 CORBA 접근 제어 모델을 정형화한다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
김영균, 김경범 and 인소란, "Development of a Formal Access Control Model in CORBA Security using the Z Language," Journal of The Korea Institute of Information Security and Cryptology, vol. 7, no. 3, pp. 79-94, 1997. DOI: 10.13089/JKIISC.1997.7.3.79.

[ACM Style]
김영균, 김경범, and 인소란. 1997. Development of a Formal Access Control Model in CORBA Security using the Z Language. Journal of The Korea Institute of Information Security and Cryptology, 7, 3, (1997), 79-94. DOI: 10.13089/JKIISC.1997.7.3.79.