New solutions for cybersecurity - Shrobe, Howard; Shrier, David L.; Pentland, Alex (The MIT Press, 2018)