201252913208_798_7863_1.doc
2012522143719_792_7855_1.doc
Методы разработки безопасного ПО
Research and Social Media: Stronger Together Than Apart
Technische universität dortmund fakultät für informatik informatik 12 FSMs & message passing: SDL Peter Marwedel TU Dortmund, Informatik 12 2012 10 30.
Microsof t Security Toolbox - средства верификации безопасности