Ben Di  Home/Search
Context Related
Links: ACM | nasa.gov/people/bld/ftp/dcca7.pdf 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: nasa.gov/~bld/biobld (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft, potentially leading to multiple avionics functions hosted on each hardware platform. (Update)
Context of citations to this paper: More
.... by implementing strong partitioning mechanisms [30] Formal models addressing some of these issues have been proposed recently [10, 11, 39] but the results are still preliminary and incomplete. We are particularly interested in temporal noninterference, that is, the...
.... on the same idea have been developed for security at Secure Computing Corporation [21] and for safe partitioning in avionics at NASA [45] and Rockwell Collins [49] Ongoing work at SRI is developing an ecient approach for the veri cation of cryptographic protocols, while...
Cited by: More
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (Correct)
Practical Techniques for Damage Confinement in Software - Taylor (1998) (Correct)
From Security to Safety and Back - Stavridou, Dutertre (Correct)
Active bibliography (related documents): More All
0.2: The Priority Ceiling Protocol: Formalization and Analysis Using PVS - Dutertre (1999) (Correct)
0.2: Models and Mechanized Methods that Integrate Human Factors into.. - Crow, al. (2000) (Correct)
0.2: From Reviews to Analysis: Challenge and Opportunity Converge - Rushby (Correct)
Similar documents based on text: More All
0.5: Approximate Non-Interference - Di Pierro, Hankin, Wiklicky (2002) (Correct)
0.5: Approaches to Certification of Reconfigurable IMA Systems - Hollow, McDermid, Nicholson (2000) (Correct)
0.4: A Model of Noninterference for Integrating.. - Dutertre, Stavridou (1999) (Correct)
Related documents from co-citation: More All
4: Computer Science Laboratory (context) - Rushby, Technical
4: Invariant Performance: A Statement of Task Isolation Useful for Embedded Applica.. - Wilding, Hardin et al. - 1999
3: Securecomputer system: Unified exposition and multics interpretation (context) - Bell, LaPadula - 1975
BibTeX entry: (Update)
Ben Di Vito. A Model of Cooperative Noninterference for Integrated Modular Avionics. In Dependable Computing for Critical Applications (DCCA-7), San Jose, CA, January 1999. This volume. http://citeseer.ist.psu.edu/di99model.html More
@inproceedings{ divito99model,
author = "Ben L. Di Vito",
title = "A Model of Cooperative Noninterference for Integrated Modular Avionics",
booktitle = "Dependable Computing for Critical Applications---7",
volume = "12",
publisher = "IEEE Computer Society",
address = "San Jose, CA",
editor = "Charles B. Weinstock and John Rushby",
pages = "269--286",
year = "1999",
url = "citeseer.ist.psu.edu/di99model.html" }
Citations (may not include all citations):270 Formal verification for fault-tolerant architectures: Proleg.. - Owre, Rushby et al. - 1995 DBLP
170 Security policies and security models (context) - Goguen, Meseguer DBLP
77 Unwinding and inference control (context) - Goguen, Meseguer DBLP
45 Non-interference through determinism (context) - Roscoe, Woodcock et al. - 1996
14 Technical Report CSL (context) - Rushby, transitivity et al. - 1992
14 NASA Langley's research and technology transfer program in f.. - Butler, Caldwell et al. - 1995
13 Formal design and verification of a reliable computing platf.. - Butler, Di Vito et al. - 1994
9 Extending the noninterference version of MLS for SAT (context) - Haigh, Young - 1987 DBLP
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
4 Software Considerations in Airborne Systems and Equipment Ce.. (context) - Technical, Aviation et al. - 1992
2 A formal model of partitioning for integrated modular avioni.. (context) - Di Vito ACM
1 ARINC Specification 653: Avionics Application Software Stand.. (context) - Radio, Annapolis - 1997
The graph only includes citing articles where the year of publication is known.
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