이 논문은 데이터 보안 개념과 부분 순서 개념 간의 대응 관계를 제시한다. 데이터 흐름, 동일한 데이터에 접근할 수 있는 개체들의 동치 클래스, 라벨 등의 개념을 정의하고, 이들 간의 효율적인 알고리즘을 제시한다. 기밀성, 무결성, 충돌 등의 보안 개념을 이 이론으로 표현할 수 있다. 또한 문헌에서 사용되는 복잡한 튜플 라벨을 등가의 집합 라벨로 변환할 수 있음을 보인다. 이를 통해 네트워크의 데이터 흐름이나 접근 제어 관계를 개체에 단순한 집합 라벨을 할당하여 정의할 수 있다. 마지막으로 다양한 데이터 흐름이 공존해야 하는 경우에 대해 여러 부분 순서를 결합하는 방법을 제시한다.
翻译成其他语言
从原文生成
arxiv.org
更深入的查询