Carl Landwehr  Home/Search
Context
Related
| navy.mil/ITD/5540/...94landwehrifip.ps navy.mil/publicati...94landwehrifip.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: navy.mil/ITD/5540/pub...index1994 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: To avoid hidden safety problems in future large scale systems, we must be able to identify the crucial assumptions underlying the development of their components and to enunciate straightforward rules for safe component interconnection. Keyword Codes: K.4.1; K.6.5; J.7 Keywords: Computers and Society, Public Policy Issues; Management of Computing and Information Systems, Security and Protection; Computers in Other Systems 1. THREE ACCIDENTS Contact with the Mars Observer spacecraft was lost... (Update)
Active bibliography (related documents): More All
0.7: A Practical Approach to High Assurance Multilevel.. - Froscher, Kang.. (1994) (Correct)
0.5: Conceptual Foundations for a Model of Task-based Authorizations - Thomas, Sandhu (1994) (Correct)
0.3: Issues in the Conduct of PSSA - Dawkins Kelly Mcdermid (1999) (Correct)
Similar documents based on text: More All
0.1: Security Issues in Networks with Internet Access - Landwehr (1997) (Correct)
0.1: Protecting Unattended Computers Without Software - Carl Landwehr (1997) (Correct)
0.1: Improving Inter-Enclave Information Flow for a.. - Froscher.. (1995) (Correct)
BibTeX entry: (Update)
@inproceedings{ landwehr94hidden,
author = "Carl E. Landwehr",
title = "Hidden Safety Requirements in Large-Scale Systems",
booktitle = "{IFIP} Congress, Vol. 3",
pages = "295-302",
year = "1994",
url = "citeseer.ist.psu.edu/landwehr94hidden.html" }
Citations (may not include all citations):302 A logic of authentication - Burrows, Abadi et al. - 1990 ACM DBLP
241 The Byzantine generals problem - Lamport, Shostak et al. - 1982 ACM DBLP
121 Three systems for cryptographic protocol analysis (context) - Kemmerer, Meadows et al. - 1994
85 Formal models for computer security (context) - Landwehr ACM DBLP
68 Computer security technology planning study (context) - Anderson - 1972
56 A general theory of composition for trace sets closed under .. - McLean - 1994
48 An investigation of the Therac-25 accidents (context) - Leveson, Turner - 1992 ACM
42 and mixed networks of queues with different classes of custo.. (context) - Baskett, Chandy et al. - 1975
35 A taxonomy of computer program security flaws (context) - Landwehr, Bull et al. - 1993 ACM DBLP
32 A distributed secure system - Rushby, Randell
16 and semantics in the analysis of cryptographic protocols (context) - Syverson - 1992
14 Denial of service (context) - Needham - 1993 ACM DBLP
13 A practical transaction model and untrusted transaction mana.. - Kang, Costich et al. - 1993
13 Software safety: what (context) - Leveson
11 Achieving a trusted database management system using paralle.. (context) - Froscher - 1989 DBLP
10 Crisis and aftermath (context) - Spafford ACM DBLP
9 Trusted Computer System Evaluation Criteria (context) - -STD - 1985
6 A hookup theorem for multilevel security (context) - McCullough
4 Washington DC - the, Mission et al. - 1993
3 System Safety Program Requirements (context) - Dept, MIL-STD- - 1984
2 IEEE Symp (context) - Wilson, policy et al. - 1989
2 IEEE Symp (context) - McLean - 1990
2 COMPUSEC: a personal view (context) - Lubbes - 1993
2 On four definitions of data integrity (context) - Sandhu - 1994
1 st ACM Conf on Comp and Comm (context) - Kang, Moskowitz et al.
1 New York-Wien (context) - Laprie, ed - 1992
1 Romulus Theories (context) - Associates - 1994
1 Telnet URL security problem: details (context) - Bina - 1994
1 Multilevel database systems: meeting class A (context) - Lunt - 1989
1 on Computer and Communication Security (context) - Parker - 1993
Documents on the same site (http://www.itd.nrl.navy.mil/ITD/5540/publications/CHACS/1994/index1994.html): More
A Formal Model of Several Fundamental VHDL Concepts - Goldschlag (1994) (Correct)
Simple Timing Channels - Moskowitz, Miller (1994) (Correct)
A Model of Computation for the NRL Protocol Analyzer - Meadows (1994) (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