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 principal: Grumberg, O.
Otros Autores: Nipkow, T., Pfaller, C.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2008.
Colección:NATO Science for Peace and Security Series: Information and Communication Security, v. 14.
Temas:
Computer logic > Congresses.
Computer security > Congresses.
Logique informatique > Congrès.
Sécurité informatique > Congrès.
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.
Descripción Física:1 online resource (332 pages)
ISBN:9781433712333
1433712334
9781607503156
1607503158

Ejemplares similares