Formal Logical Methods for System Security and Correctness.

Offers information in the field of proof technology in connection with secure and correct software. This title shows that methods of correct-by-construction program and process synthesis allow a high level programming method more amenable to security and reliability analysis and guarantees.

Saved in:
Bibliographic Details
Main Author: Grumberg, O.
Other Authors: Nipkow, T., Pfaller, C.
Format: eBook
Language:English
Published: Amsterdam : IOS Press, 2008.
Series:NATO Science for Peace and Security Series: Information and Communication Security, v. 14.
Subjects:
Online Access:Click for online access

Similar Items