Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by P.N. Devyanin
On the Problem of Representation of the Formal Model of Security Policy for Operating Systems
Proceedings of the Institute for System Programming of the RAS