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
A.V. Kozachok, E.V. Kochetkov Secure code execution system operation algorithm pp. 17-30.
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.
Yu.A. Solodelov, N.K. Gorelits Certifiable onboard real-time operation system JetOS for Russian aircrafts design pp. 171-178.
V.O. Mordan Combination of static verification methods for checking requirements composition pp. 151-170.
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.
P.N. Devyanin On the problem of representation of the formal model of security policy for operating systems pp. 7-16.
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.S. Anichkin, V.A. Semenov Object-oriented framework for software development of scheduling applications pp. 247-296.