New solutions for cybersecurity - Shrobe, Howard E. (MIT Press, 2018)