John Rushby  Home/Search
Context Related
| sri.com/users/rushby/pa...sreis01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: sri.com/users/rushby/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: John Rushby Computer Science Laboratory SRI International Menlo Park CA 94025 USA Rushby@csl.sri.com 1 (Update)
Context of citations to this paper: More
.... 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...
Cited by: More
Combining Monitors for Runtime System Verification - Levy, Saïdi, Uribe (2002) (Correct)
A Theorem Proving Approach to Analysis of Secure Information .. - Darvas, Hähnle, Sands (2003) (Correct)
vFaat: von Neumann Formal Analysis and Annotation Tool - Greve, Wilding (2003) (Correct)
Active bibliography (related documents): More All
0.5: From Reviews to Analysis: Challenge and Opportunity Converge - Rushby (Correct)
0.4: Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (Correct)
0.4: The Security Model of Enhanced HDM - Rushby (1984) (Correct)
Similar documents based on text: More All
0.5: Calculating with Requirements (Extended Abstract) - Rushby (1997) (Correct)
0.3: Pertitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (1999) (Correct)
0.3: References - Weber Formal Specification (Correct)
Related documents from co-citation: More All
2: Execution Monitoring of Security-Critical Programs in Distributed Systems: A Spe.. (context) - Ko, Ruschitzka et al. - 1997
BibTeX entry: (Update)
John Rushby, Security requirements specifications: How and what?, Invited paper presented at Symposium on Requirements Engineering for Information Security (SREIS), Indianapolis, IN, March 2001. http://citeseer.ist.psu.edu/rushby01security.html More
@misc{ rushby01security,
author = "J. Rushby",
title = "Security requirements specifications: How and what",
text = "John Rushby, Security requirements specifications: How and what?, Invited
paper presented at Symposium on Requirements Engineering for Information
Security (SREIS), Indianapolis, IN, March 2001.",
year = "2001",
url = "citeseer.ist.psu.edu/rushby01security.html" }
Citations (may not include all citations):265 Secure computer system: Unified exposition and Multics inter.. (context) - Bell, Padula - 1976
231 Information Processing Letters (context) - Alpern, Schneider - 1985
170 Security policies and security models (context) - Goguen, Meseguer - 1982
60 Specifications for multi-level security and a hook-up proper.. (context) - McCullough - 1987
45 ACM Transactions on Information and System Security (context) - Schneider, policies - 2000
43 A classification of security properties for process algebras - Focardi, Gorrieri - 1994
33 Formalizing Space Shuttle software requirements: Four case s.. - Crow, Di Vito - 1998
25 The design and verification of secure systems - Rushby - 1981
25 Proving multilevel security of a system design (context) - Feiertag, Levitt et al. - 1977
20 What is intransitive noninterference - Roscoe, Goldsmith - 1999
16 Absorbing covers and intransitive non-interference (context) - Pinsky - 1995
15 Computer Science Laboratory (context) - Rushby, transitivity et al. - 1992
12 Kernels for safety (context) - Rushby
10 Secure computer systems: A mathematical model (context) - Bell, Padula
9 basic security theorem (context) - McLean, on - 1985
5 This document is known as EUROCAE ED-12B in Europe (context) - Software, Airborne et al. - 1992
5 Comparison paper between the Bell and La Padula model and th.. (context) - Taylor - 1984
3 Extending the noninterference model of MLS for SAT (context) - Haigh, Young - 1986
2 NASA Contractor Report CR (context) - Rushby, safety et al.
1 Panel session BellLa Padula and alternative model security (context) - Panel, La et al. - 1983
Documents on the same site (http://www.csl.sri.com/users/rushby/papers/): More
Disappearing Formal Methods - Rushby (2000) (Correct)
A Trusted Computing Base for Embedded Systems - Rushby (1984) (Correct)
Pertitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (1999) (Correct)
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