Antoshina Ekaterina Yur'evna

Publications in Math-Net.Ru

1. Semantic security methods for software-defined networks
   
   Model. Anal. Inform. Sist., 24:6 (2017),  755–759
2. End-to-end information flow security model for software-defined networks
   
   Model. Anal. Inform. Sist., 22:6 (2015),  735–749
3. 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