Basic concepts and taxonomy of dependable and secure computing
Avizienis, A.; Laprie, J.-C.; Randell, B.; Landwehr, C.
Page(s): 11- 33
Digital Object Identifier 10.1109/TDSC.2004.2 Abstract
| Full Text: PDF (2520 KB)
Rights and Permissions
CODEX: a robust and secure secret distribution system
Marsh, M.A.; Schneider, F.B.
Page(s): 34- 47
Digital Object Identifier 10.1109/TDSC.2004.3 Abstract
| Full Text: PDF (944 KB)
Rights and Permissions
Model-based evaluation: from dependability to security
Nicol, D.M.; Sanders, W.H.; Trivedi, K.S.
Page(s): 48- 65
Digital Object Identifier 10.1109/TDSC.2004.11 Abstract
| Full Text: PDF (584 KB)
Rights and Permissions
A systems-theoretic approach to safety in software-intensive systems
Cart
