Eric Bodden, Mathias Payer, Elias Athanasopoulos <br/><br/>
Engineering Secure Software and Systems 

 -  Springer  2017 
 - Lecture Notes in Computer Science .
<br/><br/><label>ISBN: </label>9783319621050 
<br/><br/><label>Subjects--Index Terms: </label>Computer Communication Networks; Systems and Data Security; Logic Design; Operating Systems; Software Engineering; Data Encryption