Models and methods of security policy description for access control in distributed information systems

Formal models and methods are considered to manage access control in distributed information systems, particularly in modern local and global networks, based on the use of Or-BAC model, Petri net, Internet-resource's content analysis.