The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process

Authors:
Frank Koob;Markus Ullmann;Stefan Wittmann
Affiliations:
-;-;-
Venue:
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Year:
1998

Citing 2
Cited 0

Deduction in the Verification Support Environment (VSE)

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Protection

ACM SIGOPS Operating Systems Review

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper is focussed on the notion of a Formal Model of Security Policy (FMSP). This kind of model is essential when reasoning about the security of Information Technology devices like a specific IT-product or IT-system. Without an unambiguous definition of what security means, it is impossible to say whether a product is really secure.