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}
}