Biblio
Export 5 results:
Filters: Author is Brian Randell [Clear All Filters]
"Structured Occurrence Nets: A Formalism for Aiding System Failure Prevention and Analysis Techniques." Fundamenta Informaticae 97, no. 1-2 (2009): 41-91.
"Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computing 1, no. 1 (2004): 11-33.
"Basic Concepts and Taxonomy of Dependable and Secure Computing." IEEE Transactions on Dependable and Secure Computin 1, no. 1 (2004): 11-33.
"Basic Concepts and Taxonomy of Dependable and Secure Computing(link is external)." IEEE Transactions on De¬pendable and Secure Computing 1, no. 1 (2002): 11-33.
Building Reliable Secure Computing Systems out of Unreliable Insecure Components In IEEE Symposium on Security and Privacy . Oakland, California, USA, 1986.