Sergiy Lysenko, Oleg Savenko"Software for Computer Systems Trojans Detection as a Safety-Case Tool."Information & Security: An International Journal28,no. 1(2012):121-132.28.10_Lysenko_Savenko.pdf