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

详细信息    查看全文

• 作者：Ali Mili ; Frederick Sheldon ; Lamia Labed Jilani ; Alex Vinokurov ; Alex Thomasian and Rahma Ben Ayed
• 刊名：Innovations in Systems and Software Engineering
• 出版年：2006
• 出版时间：March 2006
• 年：2006
• 卷：2
• 期：1
• 页码：39-48
• 全文大小：161 KB
• 刊物类别：Computer Science
• 刊物主题：Software Engineering
  Computing Methodologies
  Computer Applications
  
• 出版者：Springer London
• ISSN：1614-5054

文摘

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.