Formal logical methods for system security and correctness
By: edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.
Contributors: Grumberg, Orna.; Nipkow, Tobias, 1958-; Pfaller, Christian.
Series: NATO security through science series -- v. 14
Publisher: IOS Press
Published: 2008
Place of publication: Amsterdam, Netherlands; Washington, DC
Language: eng
Number of pages: 318
ISBN-13: 9781586038434
Subjects: Computer security -- Congresses; Computer logic -- Congresses
Genres: Congresses.
Notes: "Proceedings of the NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness, Marktoberdorf, Germany, 31 July-12 August 2007."--T.p. verso.

Includes bibliographical references and index.