scientific article; zbMATH DE number 1746671

MaRDI QIDQ4530840zbMATH OpenFDO

Authors Constance L. Heitmeyer

Publication date 9 June 2002

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?)
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• 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:

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