Publication


Formal methods in the security business: exotic flowers thriving in an expanding niche

Formal Methods 2006


Author(s): David von Oheimb
Year: 2006
Publisher: Springer LNCS
Editors: Jayadev Misra and Tobias Nipkow
CR Classification: D.2.4, D.3.1, F.3.1
CR General Terms: Languages, Verification, Theory
Keywords: Formal methods, security, software engineering, evaluation, models
Abstract: Formal methods in the industrial wild, outside the academic greenhouse, are still considered rather exotic, or even esoteric. Sometimes they are admired, more often smiled at, and most times simply ignored. There are some niches, though, where they display their abstract beauty. One of those places offering suitable environmental conditions is security. Which are the specific fertilizers there? Which particular sub-species have proven versatile and sturdy enough to survive in harsh industrial climate? Who recognizes the strong blessings of their hardly accessible blossoms? We share our grower's experience with them in the security field.


Copyright © 2006 Springer-Verlag.
This paper has been published by Springer LNCS.
Preprint
Slides

BibTeX entry:

@inproceedings{DvO-FM-industry, author = {Oheimb, David von}, title = {Formal methods in the security business: exotic flowers thriving in an expanding niche}, booktitle={{FM} 2006: Formal Methods, 14th International Symposium on Formal Methods}, editor = {Jayadev Misra and Tobias Nipkow}, publisher = {Springer}, series = {LNCS}, volume = {4085}, year = 2006, note = {Presented at the ForTIA I-Day'06, preprint version at \url{http://ddvo.net/papers/FM-industry.html}}, abstract = { Formal methods in the industrial wild, outside the academic greenhouse, are still considered rather exotic, or even esoteric. Sometimes they are admired, more often smiled at, and most times simply ignored. There are some niches, though, where they display their abstract beauty. One of those places offering suitable environmental conditions is security. Which are the specific fertilizers there? Which particular sub-species have proven versatile and sturdy enough to survive in harsh industrial climate? Who recognizes the strong blessings of their hardly accessible blossoms? We share our grower's experience with them in the security field. }, CRClassification = {D.2.4, F.1.2, H.2.0}, CRGenTerms = {Security, Theory, Verification} }