Mathematical model of discretionary access control policy
In this paper, a method for constructing and proving a formal mathematical model was considered that implements the security functions of information security systems based on a discretionary access control policy. An approach is shown that implements the object-subject formalization.
An example of creating a finite state machine is shown using the CPN Tools software solution.
Second session of the XXXVI International Seminar on Stability Problems for Stochastic Models