A Few Remarks About Formal Development of Secure Systems - Computer Science > Logic in Computer ScienceReport as inadecuate




A Few Remarks About Formal Development of Secure Systems - Computer Science > Logic in Computer Science - Download this document for free, or read online. Document in PDF available to download.

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.



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

Source: https://arxiv.org/



DOWNLOAD PDF




Related documents