Applying practical formal methods to the specification and analysis of security properties

DOI10.1007/3-540-45116-1_11MaRDI QIDQ4530840zbMATH OpenFDO

Authors Constance L. Heitmeyer

Publication date 9 June 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45116-1_11

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2080050
• scientific article; zbMATH DE number 2043474
• Using SCR to specify requirements of the BART advanced automated train control system
• Formal verification of security model using SPR tool
• Formal methods of analysis of system properties

Cited in

(8)

• Formal to practical security. Papers issued from the 2005--2008 French-Japanese collaboration
• Improving the semantics of the software cost reduction method
• An automatically verified prototype of the Tokeneer ID station specification
• scientific article; zbMATH DE number 2043474 (Why is no real title available?)
• A uniform approach for the definition of security properties
• scientific article; zbMATH DE number 7361813 (Why is no real title available?)
• Formal requirements for utility and value functions for security‐related decisions
• The formal specification of safety requirements for storing explosives

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Applying practical formal methods to the specification and analysis of security properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530840)