RUS
ENG
Full version
PEOPLE
Nikitin Evgenii Sergeevich
Publications in Math-Net.Ru
End-to-end information flow security model for software-defined networks
Model. Anal. Inform. Sist.
,
22
:6 (2015),
735–749
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
Model. Anal. Inform. Sist.
,
22
:4 (2015),
546–562
A Translator with a Security Static Analysis Feature of an Information Flow for a Simple Programming Language
Model. Anal. Inform. Sist.
,
21
:4 (2014),
5–12
©
Steklov Math. Inst. of RAS
, 2024