Model-based evaluation: from dependability to security

By David M. Nicol, William H. Sanders, Kishor S. Trivedi. IEEE Transactions on Dependable and Secure Computing, 2004

540 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Safety, Risk, Reliability and Quality, Software

View Paper: https://www.semanticscholar.org/paper/6ecb4e9e766edeefb4ad1e00778029394add7049

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Marcus Pendleton
2. Laurent L. Njilla
3. Chee-Wooi Ten
4. Huashan Chen
5. Govindarasu Manimaran
6. Shouhuai Xu
7. Chen-Ching Liu

In Safety, Risk, Reliability and Quality

1. Chee-Wooi Ten
2. Govindarasu Manimaran
3. Chen-Ching Liu

In Software

1. Chee-Wooi Ten
2. Govindarasu Manimaran
3. Chen-Ching Liu

Citations in the corpus

• Resilience and survivability in communication networks: Strategies, principles, and survey of disciplines (2010, methodology): “In the field of network security, the commonly taken approach is to perform a vulnerability analysis [166,167,55] in order to determine how a network responds to security risks.”
• A Survey on Ethereum Systems Security (2019, background): “We are not aware of any systematic study on this matter, despite substantial efforts [175], [176], [177], [178], [179], [180], [181].”
• Vulnerability Assessment of Cybersecurity for SCADA Systems (2008, methodology): “The development of quantitative techniques for systems interdependency is reported in [15].”