Proceedings of the Institute for System Programming. Volume 29, issue 3, 2017, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Corresponding Member of RAS A.I. Avetisyan
Table of Contents
P.N. Devyanin On the problem of representation of the formal model of security policy for operating systems pp. 7-16.
A.V. Kozachok, E.V. Kochetkov Secure code execution system operation algorithm pp. 17-30.
V.A. Padaryan On representation used in the binary code reverse engineering pp. 31-42.
A.V. Khoroshilov, I.V. Shchepetkov ADV_SPM — Formal security policy models in practice pp. 43-56.
A. Merkulov, S. Polyakov, A. Belevantsev Supporting Java programming in the Svace static analyzer pp. 57-74.
A.Y. Gerasimov Survey on static program analysis results refinement approaches pp. 75-98.
M.V. Belyaev, N.V. Shimchik, V.N. Ignatyev, A.A. Belevantsev Comparative analysis of two approaches to the static taint analysis pp. 99-116.
A.I. Get’man, Yu.V. Markin, D.O. Obidenkov, E.F. Evstropov A survey of problems and solution methods in network traffic classification pp. 117-150.
V.O. Mordan Combination of static verification methods for checking requirements composition pp. 151-170.
Yu.A. Solodelov, N.K. Gorelits Certifiable onboard real-time operation system JetOS for Russian aircrafts design pp. 171-178.
E.Y. Sharygin, R.A. Buchatskiy Survey of Just-in-Time Query Compilation Methods pp. 179-224.
N.N. Kuzyurin On the problem of finding approximation of bipatite cliques pp. 225-232.
A. Sotnikov, N. Shabaldina, M. Gromov Experiments on Parallel Composition of Timed Finite State Machines pp. 233-246.
A.S. Anichkin, V.A. Semenov Object-oriented framework for software development of scheduling applications pp. 247-296.