The DOI matches its Crossref record; 4 of the 4 references it cites were found in a registry or an index.
Basic concepts and taxonomy of dependable and secure computing
Open accessAbstract
This paper gives the main definitions relating to dependability, a generic concept including a special case of such attributes as reliability, availability, safety, integrity, maintainability, etc. Security brings in concerns for confidentiality, in addition to availability and integrity. Basic definitions are given first. They are then commented upon, and supplemented by additional definitions, which address the threats to dependability and security (faults, errors, failures), their attributes, and the means for their achievement (fault prevention, fault tolerance, fault removal, fault forecasting). The aim is to explicate a set of general concepts, of relevance across a wide range of situations and, therefore, helping communication and cooperation among a number of scientific and technical communities, including ones that are concentrating on particular types of system, of system failures, or of causes of system failures.
Overview
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
The claims and statistics of this paper haven’t been checked yet.
Run the check — free, no account needed. It reads the open-access text and checks the sources it cites.
Self-check
Percentages, sums and reported differences re-computed from the paper’s own numbers.
The self-check needs the paper’s full text.
Citations
Cites
The Byzantine generals problem
Lamport, L., Shostak, R., & Pease, M. (1982) · ACM Transactions on Programming Languages and Systems · doi:10.1145/357172.357176 · Cited by 6,023
Orthogonal defect classification-a concept for in-process measurements
Chillarege, R., Bhandari, I. S., Chaar, J. K., Halliday, M. J., Moebus, D. S., Ray, B. K., & Wong, M.-Y. (1992) · IEEE Transactions on Software Engineering · doi:10.1109/32.177364 · Cited by 792
On testing non-testable programs
Weyuker, E. J. (1982) · The Computer Journal · doi:10.1093/comjnl/25.4.465 · Cited by 606
DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY
Laprie, J.-C. (2005) · Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'. · doi:10.1109/ftcsh.1995.532603 · Cited by 460
Self-citation
Cited by
Socio-technical systems: From design methods to systems engineering
Baxter, G., & Sommerville, I. (2011) · Interacting with Computers · doi:10.1016/j.intcom.2010.07.003 · Cited by 1,642
A Survey on Software Fault Localization
Wong, W. E., Gao, R., Li, Y., Abreu, R., & Wotawa, F. (2016) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2016.2521368 · Cited by 1,110
Secure Control: Towards Survivable Cyber-Physical Systems
Cardenas, A. A., Amin, S., & Sastry, S. (2008) · 2008 The 28th International Conference on Distributed Computing Systems Workshops · doi:10.1109/icdcs.workshops.2008.40 · Cited by 911
(2021) · doi:10.1109/tse.2019.2946563 · Cited by 574
Blockchain-based sharing services: What blockchain technology can contribute to smart cities
Sun, J., Yan, J., & Zhang, K. Z. K. (2016) · Financial Innovation · doi:10.1186/s40854-016-0040-y · Cited by 552
Metadata
- Authors
- Avizienis, A., Laprie, J.-C., Randell, B., & Landwehr, C.
- Venue
- IEEE Transactions on Dependable and Secure Computing
- Published
- 2004-01
- Volume
- 1
- Issue
- 1
- Pages
- 11-33
- ISSN
- 1545-5971 (ISSN-L)
- OpenAlex
- W2145071552
- Cited by
- 5,223
- References
- 4
- FWCI
- 170.06
- Type
- journal article
- Language
- en
- Open access
- green
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: Basic concepts and taxonomy of dependable and secure computing. https://app.cochat.ai/papers/10.1109/tdsc.2004.2
- The paper
- Avizienis, A., Laprie, J.-C., Randell, B., & Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing. https://doi.org/10.1109/tdsc.2004.2
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
