Description |
ix, 318 p. : ill. |
Series |
NATO security through science series. D, Information and communication security, 1874-6268 ; v. 14 |
|
NATO security through science series. D, Information and communication security ; v. 14.
|
Note |
"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. |
Bibliography |
Includes bibliographical references and index. |
Reproduction |
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. |
Subject |
Computer security -- Congresses.
|
|
Computer logic -- Congresses.
|
Genre/Form |
Electronic books.
|
Added Author |
Grumberg, Orna.
|
|
Nipkow, Tobias, 1958-
|
|
Pfaller, Christian.
|
|
ProQuest (Firm)
|
ISBN |
9781586038434 |
|
1586038435 |
|