Modeling security as a dependability attribute: A refinement-based approach

Ali Mili, Frederick Sheldon, Lamia Labed Jilani, Alex Vinokurov, Alex Thomasian, Rahma Ben Ayed

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations by opening hitherto unknown vulnerabilities. Also, as systems take on more critical functions, they increase the stakes of security by acting as custodians of assets that have great economic or social value. Finally, as perpetrators grow increasingly sophisticated, they increase the threats on system security. Combined, these premises place system security at the forefront of engineering concerns. In this paper, we introduce and discuss a refinement-based model for one dimension of system security, namely survivability.

Original languageEnglish (US)
Pages (from-to)39-48
Number of pages10
JournalInnovations in Systems and Software Engineering
Issue number1
StatePublished - Mar 2006

All Science Journal Classification (ASJC) codes

  • Software


Dive into the research topics of 'Modeling security as a dependability attribute: A refinement-based approach'. Together they form a unique fingerprint.

Cite this