Security Architecture and Specification Framework for Safe and Secure Industrial Automation. - Sergey Tverdyshev; Holger Blasum; Ekaterina Rudina; Dmitry Kulagin; Pavel Dyakin; Stanislav Moiseev (CRITIS, 2015)

An approach to Separation of Duties validation for MILS security configurations. - Semen Kort; Dmitry Kulagin; Ekaterina Rudina (MILS, 2017)