Kateryna Netkachova"Model and Implementation of Safety Case Cores."Information & Security: An International Journal28,no. 2(2012):286-295.28.23_Netkachova.pdf