Cargando…
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.
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| 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: | |
| Acceso en línea: | Texto completo |