Access control is a critical component of most approaches to providing system security. So many different access control policies and models have been developed to suit a variety of goals. These include Role-based access control, History-based access control, MAC, DAC and so on. Since each of these policies applies to a particular situation, we have to check whether conflict exists when we combine them. So formalization and model which are general enough to encompass a range of these policies and models in using more than one access control model within a given system are important. Then access based on history is so complex in many cases. So administrator must check many cases when he determines the permission. To simplify this, we design the mathematical model called non-access structure. Non-access structure contains to historical access list. If it is given subjects and objects, we look into subject grouping and object relation, and then we design Non-access structure. Then we can determine the permission based on history without conflict.
출입관리라는 것은 시스템의 보안유지를 위해서 행하는 접근방법 중에 하나의 중요한 요소이다. 그래서 실제로 이것에 대한 많은 연구들이 이루어져 왔다. 역할에 기반 하는 출입정책이라던지, 사용이력에 기반한 출입정책 등 많은 것이 있다. 그런데 관리자가 이런 출입정책 중 몇 가지를 섞어서 시스템을 관리할 경우에, 실제 그 시스템 이 안전한지를 항상 생각해서 출입을 관리해야 한다. 그런데 사용이력을 사용한 경우에는 전에 행했던 출입내용을 보고 다음의 출입을 결정을 해야하기에 어떤 경우냐에 따라 생각해 볼 것이 많다. 그래서 자칫 시스템이 전혀 안전하지 않은 상태로 될 수도 있다. 그래서 시스템이 안전한지를 체크할 수 있는 모델이 필요하게 되었다. 이 논문에서는 그것을 체크할 수 있는 모델을 만들고, 형식화하였다. 그것은 비접근구조라는 모델과 거기에 적혀진 사용이력을 보고, 그 구조물의 논리연산에 따른 논리를 행하면 시스템의 보안을 위해서 현재 행해지려고 하는 접근을 승인할지 거부할지를 금방 알 수 있게끔 하는 것이다.
