Model-based evaluation: from dependability to security

Nicol, David M.; Sanders, William H.; Trivedi, Kishor S.

doi:10.1109/tdsc.2004.11

Cited by 403 publications

(166 citation statements)

References 108 publications

Supporting

Mentioning

158

Contrasting

Unclassified

Order By: Relevance

“…The already cited papers [1,37] provide a survey of the most popular ones. The choice of the most appropriate type of model to employ depends upon the complexity of the system under analysis, the specific aspects to be studied, the attributes to be evaluated, the accuracy required, and the resources available for the study.…”

Section: Related Workmentioning

confidence: 99%

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

Bertolino

Calabrò

Giandomenico

et al. 2013

Communications in Computer and Information Science

View full text Add to dashboard Cite

Abstract. The development of next generation Future Internet systems must be capable to address complexity, heterogeneity, interdependency and, especially, evolution of loosely connected networked systems. The European project CON-NECT addresses the challenging and ambitious topic of ensuring eternally functioning distributed and heterogeneous systems through on-the-fly synthesis of the CONNECTors through which they communicate. In this paper we focus on the CONNECT enablers that dynamically derive such connectors ensuring the required non-functional requirements via a framework to analyse and assess dependability and performance properties. We illustrate the adaptive approach under development integrating synthesis of CONNECTors, stochastic model-based analysis performed at design time and run-time monitoring. The proposed framework is illustrated on a case study.

show abstract

Section: Related Workmentioning

confidence: 99%

On-the-Fly Dependable Mediation between Heterogeneous Networked Systems

Bertolino

Calabrò

Giandomenico

et al. 2013

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…In an earlier paper by Nicol et al [35], a similar challenge was stated: to develop a sound model-based methodology for quantifying the security that can be anticipated from a design.…”

Section: Formal Security Architecturesmentioning

confidence: 99%

Software analysis for security

Mancoridis

2008

2008 Frontiers of Software Maintenance

View full text Add to dashboard Cite

show abstract

“…Software model checkers automatically explore all paths from a start state by examining transitions in the state space to determine the reachability of a state that violates a property. [8] The properties are verified as holding or not holding for each transition. This automation provides high value for large, complex systems where specifications are complex.…”

Section: Model Checking and Property-based Testingmentioning

confidence: 99%

“…The number of follow-on discussions on security property specifications is witness to this problem. [4,6,7,8] The need to formally specify and verify security properties is easily seen by the growing list of software vulnerabilities. [9] It is apparent that better specification and verification of security properties will lead to more secure software.…”

Section: Introductionmentioning

confidence: 99%

“…Formal specifications and methods can fill this role and improve the quality of software making it more dependable. [8,10] The following discussion will focus on 2 formal, integrated techniques, model checking and propertybased testing, that are being used at the Jet Propulsion Laboratory (JPL) for verification of security properties. They are being piloted with a Commercial-Off-The Shelf (COTS) application that has a Server-Agent function, where the Server provides application software and updates to agents running on associated workstations.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation