Rushby, J., Security requirements specifications: How and what?, in: Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Theorem Proving Approach to Analysis of Secure Information .. - Darvas, Hähnle, Sands (2003) (8 citations) (Correct)
....and liveness properties . Our approach is to use dynamic logic, which admits a simple characterisation of secure information flow for deterministic programs. This claim is not formal, since it depends on precisely what one means by safety and liveness ; for some concrete instances see [13, 9, 10]. We investigate the feasibility of the approach by showing how a general purpose tool for software verification (based on dynamic logic) can be used to perform information flow analyses. So far, our examples are relatively small, but we are able to handle phenomena like method calls, loops, ....
J. Rushby. Security requirements specifications: How and what? In Symposium on Requirements Engineering for Information Security (SREIS), 2001.
Combining Monitors for Runtime System Verification - Levy, Saïdi, Uribe (2002) (Correct)
No context found.
Rushby, J., Security requirements specifications: How and what?, in: Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, 2001.
vFaat: von Neumann Formal Analysis and Annotation Tool - Greve, Wilding (2003) (Correct)
No context found.
John Rushby, Security requirements specifications: How and what?, Invited paper presented at Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, March 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