A Few Remarks About Formal Development of Secure Systems

Abstract : Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the development of systems in which safety or security is mandatory. But effectively specifying a secure system or deriving a secure implementation can be tricky. We propose a review of some classical `gotchas' and other possible sources of concerns with the objective to improve the confidence in formal developments, or at least to better assess the actual confidence level.
Document type :
Conference papers
Complete list of metadatas

Cited literature [30 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00363346
Contributor : Eric Jaeger <>
Submitted on : Monday, February 23, 2009 - 9:14:12 AM
Last modification on : Thursday, March 21, 2019 - 2:19:36 PM
Long-term archiving on : Tuesday, June 8, 2010 - 10:47:56 PM

Files

Traps.pdf
Files produced by the author(s)

Identifiers

Citation

Eric Jaeger, Thérèse Hardin. A Few Remarks About Formal Development of Secure Systems. High Assurance Systems Engineering Symposium, Dec 2008, Nanjing, China. pp.165-174, ⟨10.1109/HASE.2008.49⟩. ⟨hal-00363346⟩

Share

Metrics

Record views

173

Files downloads

170