Synthesis of secure software development controls. - Alexander Barabanov; Alexey Markov; Andrey Fadin; Valentin Tsirlov; Igor Shakhalov (SIN, 2015)