Core Concepts
부분 관찰 하에서 이산 사건 시스템의 비밀 이벤트 발생을 영구적으로 은폐할 수 있는 방어 기능을 제안한다.
Abstract
이 논문은 부분 관찰 하에서 이산 사건 시스템의 비밀 이벤트 은폐 및 은폐 가능성 강제에 대해 다룬다.
시스템 모델: 비결정적 유한 오토마타로 모델링된 이산 사건 시스템을 고려한다. 시스템의 이벤트 집합은 관찰 가능한 이벤트와 관찰 불가능한 이벤트로 구분된다. 비밀 이벤트는 관찰 불가능한 이벤트 집합의 부분집합으로 정의된다.
은폐 가능성: 비밀 이벤트의 발생이 관찰자에게 영구적으로 숨겨질 수 있는 경우, 시스템은 은폐 가능하다고 정의된다. 은폐 가능성은 진단 가능성과 반대되는 개념이다.
은폐 가능성 강제: 시스템이 은폐 불가능한 경우, 시스템과 관찰자 사이의 방어 기능을 통해 비밀 이벤트 발생을 영구적으로 은폐할 수 있다. 방어 기능은 이벤트 삭제, 삽입 또는 대체를 통해 관찰자의 관찰을 조작할 수 있다.
다항식 복잡도 알고리즘: 은폐 가능성 강제를 위한 필요 조건과 충분 조건을 다항식 복잡도로 제안한다.