scientific article; zbMATH DE number 1746671

MaRDI QIDQ4530840zbMATH OpenFDO

Authors Constance L. Heitmeyer

Publication date 9 June 2002

Mathematics Subject Classification ID

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

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

(7)

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

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)