Access Control Model Formalism using Adaptive Automaton

Privacy is an important aspect when modeling computer systems which need to establish relationships among users and their information. To face this issue, many privacy protection mechanisms have been considered. Generic mechanisms deal with the information security of a certain user restricting a system in a way to have only relationships among subjects and objects which comply with this system rules. This paper presents an access control model formalism using adaptive automaton on a auditable privacy system. The adaptive automaton is suitable for this purpose, because of the self-modifications capacity and complex languages recognition. The model using the the proposed formalism is a new approach to privacy protection mechanisms, and is generic enough to be used not just in privacy, but in another classes of problems.