자료기지체계를 위한 하향판독 / 비상향기록의 다단계보안 동시성제어

Abstract

다단계보안 자료기지체계에 대한 동시성제어의 관점에서 비밀경로의 제거는 매우 중요하다. 이는 보안정책을 위반하는 방법으로 비밀경로를 통하여, 상위 비밀취급인가 사용자가 공유 객체에 관한 충돌을 조절함으로써 중요한 정보를 하위 비밀취급인가 사용자에게 제공할 수 있다는 사실에 기인한다. 비밀경로를 제거하기 위하여 본 논문에서는 하향판독/비상향기록 모형을 채택한 단순하고 효율적인 동시성제어기법을 제안한다. 제안된 기법은 상이한 비밀취급인가 거래들이 각각 서로 다른 판의 객체를 독립적으로 접근하도록 하기 위하여 다중판을 필요로 하는 무간섭원칙을 기반으로 하여 동시성을 향상시킴과 더불어 상위 비밀취급인가 거래의 가용도를 증진시킨다. 무간섭원칙을 기반으로 하는 기존의 연구가 여러개의 다중판을 필요로 하는 반면, 제안된 기법은 동시성제어를 위하여 단지 두개의 판을 사용함으로써 저장 공간에 대한 부담을 경감시킨다. 제안된 기법은 직렬화가능성을 보장함은 물론 비밀경로를 제거하여 보안성을 강화하며, 교착상태나 기아현상을 발생시키지 않는다.