Formal methods for the informal world

Customers for secure systems install these systems as components within their operations in order to achieve security objectives for these operations. Formal methods provide the same kinds of benefits when applied to these kinds of "operational" objectives as they do when applied to proper...

Full description

Saved in:
Bibliographic Details
Main Author: Muehrcke, C.K.
Format: Conference Proceeding
Language:English
Subjects:
Certification
Formal languages
Information security
Lakes
Modems
Printers
Risk analysis
Tail
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Customers for secure systems install these systems as components within their operations in order to achieve security objectives for these operations. Formal methods provide the same kinds of benefits when applied to these kinds of "operational" objectives as they do when applied to properties of a system in isolation. We formalize the analysis of one such example objective in the Z language. The application of formal methods in this way requires that we apply them not only to systems, but also to the worlds within which these systems exist. A rich new set of issues and insights appear at the juncture of a system and its environment, and when a formal language meets the informal world.< >
ISSN:1063-6900
2377-5459
DOI:10.1109/CSFW.1994.315949