J. Jurjens. Secrecy-preserving refinement. In J. N. Oliveira and P. Zave, editors, FME 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Formally Testing Fail-Safety of Electronic Purse Protocols.. - Jürjens, Wimmel (2001) (Correct)
....is to specify the system (at the abstract design level) using a formal specification language and to use this specification to generate test sequences to find security weaknesses in an implementation in a systematic way. In the current work (which is part of a wider effort reported previously in [Jur01b, WW01, JW01c, JW01b] we concentrate on one classical principle of computer security engineering, namely that of fail safety of security critical systems [SS75] This principle postulates that, if a security critical system fails, it should do so in a secure state. What this means exactly in the ....
Jan Jurjens. Secrecy-preserving refinement. In Formal Methods Europe, LNCS. Springer, 2001.
Formally Testing Fail-Safety of Electronic Purse Protocols - Jürgens, Wimmel (2001) (Correct)
....work was partially supported by the Studienstiftung des deutschen Volkes, and by the German Ministry of Economics within the FairPay project sequences to find security weaknesses in an implementation in a systematic way. In the current work (which is part of a wider effort reported previously in [7, 14, 10, 9]) we concentrate on one classical principle of computer security engineering, namely that of fail safety [12] This principle postulates that, if a security critical system fails, it should do so in a secure state. What this means exactly depends on the system at hand and the security aspect under ....
J. Jurjens. Secrecy-preserving refinement. In Formal Methods Europe, LNCS. Springer, 2001.
Abstracting from Failure Probabilities - Jürjens (2001) Self-citation (Jurjens) (Correct)
No context found.
J. Jurjens. Secrecy-preserving refinement. In Formal Methods Europe (International Symposium), volume 2021.
Specification and Refinement of Secure IT-Systems - Exte Nd Ed (Correct)
No context found.
J. Jurjens. Secrecy-preserving refinement. In J. N. Oliveira and P. Zave, editors, FME 2001.
Formally Testing Fail-Safety of Electronic Purse Protocols.. - Jürjens, Wimmel (2001) (Correct)
No context found.
Jan Jurjens. Secrecy-preserving refinement. In Formal Methods Europe, LNCS. Springer, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC