Formal logical methods for system security and correctness / 
edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller. 
 - Amsterdam, The Netherlands :  Washington, D.C.  IOS Press,  ©2008 ; 
 - 1 online resource (ix, 318 pages) :  illustrations. 
 - NATO science for peace and security series. D, Information and communication security ;  v. 14,  1874-6268 .
 - NATO science for peace and security series ;  v. 14 .
<br/><br/> "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007"--Title page verso. 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781435677883 9781607503156 
<br/><br/><label>Source: </label>978-1-58603-843-4  IOS Press 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer security--Congresses<br/>Computer logic--Congresses<br/>COMPUTERS--Internet--Security<br/>COMPUTERS--Networking--Security<br/>COMPUTERS--Security--General<br/>Computer logic<br/>Computer security