Jan Jurjens and Guido Wimmel. Specificationbased testing of firewalls. In Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), LNCS. Springer, 2001. To be published. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Formally Testing Fail-Safety of Electronic Purse Protocols.. - Jürjens, Wimmel (2001) (Correct)
....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 system ....
Jan Jurjens and Guido Wimmel. Specificationbased testing of firewalls. In Andrei Ershov 4th International Conference "Perspectives of System Informatics" (PSI'01), LNCS. Springer, 2001. To be published.
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