Mandatory Control in Automated Information SystemsG. P. Akimova, A. Yu. Danilenko, E. V. Pashkina, M. A. Pashkin,A. A. Podrabinovich, I. V. Tumanova