Victoria Stavridou, Bruno Dutertre  Home/Search
Context
Related
| gmu.edu/~csis/conf/fns9...stravridou.ps 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: gmu.edu/~csis/conf...williamsburg (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Dependability encompasses different classes of system properties, related to security, reliability, or safety. This paper examines the relevance of the security concept of noninterference to safety-related properties, and conversely the applicability of fault-tolerance mechanisms usually applied to provide safety and reliability in the security domain. 1 Introduction Safety and security are two attributes of dependability, among with availability and reliability [13]. In broad terms,... (Update)
Active bibliography (related documents): More All
1.0: Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (Correct)
0.6: Principled Assuredly Trustworthy Composable Architectures - Neumann (2004) (Correct)
0.6: On The Composition Of Security Properties - Zakinthinos (1996) (Correct)
Similar documents based on text: More All
0.6: Approximate Non-Interference - Di Pierro, Hankin, Wiklicky (2002) (Correct)
0.4: A Review of Security Models and Information Flow - Kevin Neill March (Correct)
0.3: Observational Determinism for Concurrent Program Security - Zdancewic, Myers (2003) (Correct)
BibTeX entry: (Update)
@misc{ stavridou-from,
author = "Victoria Stavridou and Bruno Dutertre",
title = "From Security to Safety and Back",
url = "citeseer.ist.psu.edu/422532.html" }
Citations (may not include all citations):718 Distributed Algorithms (context) - Lynch - 1996
350 Implementing Fault-Tolerant Services using the StateMachine .. - Schneider - 1990
265 Secure Computer Systems: Unified Exposition and Multics Inte.. (context) - Bell, Padula - 1976
241 The Byzantine General Problem - Lamport, Shostak et al. - 1982
170 Security Policies and Security Models (context) - Goguen, Meseguer - 1982
84 Data Mining Approaches for Intrusion Detection - Lee, Stolfo - 1998
77 Unwinding and Inference Control (context) - Goguen, Meseguer - 1984
70 The PrimaryBackup Approach - Budhiraja, Marzullo et al. - 1993
61 Dependability: Basic Concepts and Terminology (context) - Laprie - 1992
60 Specifications for Multi-Level Security and a Hook-Up Proper.. (context) - McCullough - 1987
56 A Survey of Intrusion Detection Techniques (context) - Lunt - 1993
55 Security Models and Information Flow - McLean - 1990
54 Easy Impossibility Proofs for Distributed Consensus - Fischer, Lynch et al. - 1986
52 Intrusion Tolerance in Distributed Computing Systems - Deswarte, Blain et al. - 1991
52 Security Models - McLean - 1994
51 Information Flow in Nondeterministic Systems (context) - Wittbold, Johnson - 1990
50 A Model of Information (context) - Sutherland - 1986
45 Noninterference and the Composability of Security Properties (context) - McCullough - 1988
41 Toward A Mathematical Foundation for Information Flow Securi.. (context) - Gray - 1992
39 A Logical View of Secure Dependencies (context) - Bieber, Cuppens - 1992
36 The Internet Worm: Crisis and Aftermath (context) - Spafford - 1989
33 Probabilistic Interference (context) - Gray - 1990
32 CSP and Determinism in Security Modelling - Roscoe - 1995
17 Proving Noninterference and Functional Correctness Using Tra.. - McLean - 1992
16 Hookup Security for Synchronous Machines (context) - Millen - 1990
15 Computer Science Laboratory (context) - Rushby, Transitivity et al. - 1992
15 Live Traffic Analysis of TCP/IP Gateways (context) - Porras, Valdes - 1998
14 NSTAT: A Model-based Real-time Network Intrusion Detection S.. - Kemmerer - 1998
12 Designing Secure and Reliable Applications using Fragmentati.. - Fabre, Deswarte et al. - 1994
11 Architectures and Formal Representations for Secure Systems (context) - Neumann - 1996
10 Covert Channel Capacity (context) - Millen - 1987
9 Basic Security Theorem (context) - McLean, on - 1985
8 A Model of Noninterference for Integrating Mixed-Criticality.. - Dutertre, Stavridou - 1999
7 Invariant Performance: A Statement of Task Isolation Useful .. - Wilding, Hardin et al. - 1999
6 The Composability of Non-Interference (context) - Zakinthinos, Lee - 1995
6 A Model of Cooperative Noninterference for Integrated Modula.. - Di Vito - 1999
6 Safety through Security (context) - Simpson, Woodcock et al. - 1998
6 Using Traces Based on Procedure Calls to Reason About Compos.. (context) - Meadows - 1992
4 Composing and Decomposing Systems under Security Properties (context) - Roscoe, Wulf - 1995
1 Atomic Tansactions (context) - Lampson - 1981
Documents on the same site (http://ise.gmu.edu/~csis/conf/fns98/williamsburg.html): More
Certificate Revocation the Responsible Way - Millen, Wright (1999) (Correct)
Error Recovery in Critical Infrastructure Systems - Knight, Elder, Du (1999) (Correct)
Multiple Dimensions of Integrating Development Technology - Cheng (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