A science of system security. - Ann Cox; Sandip Roy 002; Sean Warnick (CDC, 2014)