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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Formal Logical Methods for System Security and Correctness Marktoberdorf, Germany
Otros Autores: Grumberg, Orna, Nipkow, Tobias, 1958-, Pfaller, Christian
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam, Netherlands ; Washington, DC : IOS Press, ©2008.
Colección:NATO science for peace and security series. Information and communication security ; v. 14.
Temas:
Computer security > Congresses.
Computer logic > Congresses.
Sécurité informatique > Congrès.
Logique informatique > Congrès.
COMPUTERS > Internet > Security.
COMPUTERS > Networking > Security.
COMPUTERS > Security > General.
Computer logic
Computer security
Conference papers and proceedings
Acceso en línea:Texto completo
Descripción
Sumario: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.
Notas:"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.
Descripción Física:1 online resource (ix, 318 pages) : illustrations.
Bibliografía:Includes bibliographical references and index.
ISBN:9781435677883
1435677889
9781607503156
1607503158
6611733469
1281733466
9781281733467
9786611733469
6000004273
9786000004279
1433712334
9781433712333
ISSN:1874-6268 ;

Ejemplares similares