A Few Remarks About Formal Development of Secure Systems - Computer Science > Logic in Computer ScienceReportar como inadecuado




A Few Remarks About Formal Development of Secure Systems - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: Formal methods provide remarkable tools allowing for high levels ofconfidence in the correctness of developments.
Their use is thereforeencouraged, when not required, for the development of systems in which safetyor security is mandatory.
But effectively specifying a secure system orderiving a secure implementation can be tricky.
We propose a review of someclassical `gotchas- and other possible sources of concerns with the objectiveto improve the confidence in formal developments, or at least to better assessthe actual confidence level.



Autor: Eric Jaeger LIP6, Dcssi-SDS-Lti, Thérèse Hardin LIP6

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados