论文信息 - Safety and Security Analysis of Object-Oriented Models

Safety and Security Analysis of Object-Oriented Models

In this paper we review existing approaches for the safety and security analysis of object-oriented software designs, and identify ways in which these approaches can be improved and made more rigorous.

[1] Rune Winther,et al. Security Assessments of Safety Critical Systems Using HAZOPs , 2001, SAFECOMP.

[2] David Clark,et al. Invariant-Based Synthesis of Fault-Tolerant Systems , 2000, FTRTFT.

[3] Nancy G. Leveson. Designing a Requirements Specification Language for Reactive Systems , 1998, ZUM.

[4] Jean-Louis Lanet,et al. Formal Proof of Smart Card Applets Correctness , 1998, CARDIS.

[5] Denis Sabatier,et al. The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications , 2000, Formal Methods Syst. Des..