Requirement Engineering for Intrusion Tolerant Systems

ISBN-13: 9783659376689 / Angielski / Miękka / 2013 / 104 str.

Mougouei Davoud;Yeung Man Kwan

Opis

Security is one of the most important concerns of software development. However, todays software development techniques do not pay enough attention to engineering of security into system analysis and design. Although there have been some efforts to incorporate security analysis in the requirements engineering phase, it has not yet specified how to achieve analysis automatically during the requirements engineering process. In this book, we provide a step by step process for modeling and formal description of security requirements and faults. We incorporate fault tolerance into the security requirement model of the target system by caring for partial satisfaction of security goals.

O autorze

Research Interests: Formal Methods, Automated Software Engineering, Dependability, Security and Cloud Computing.