Requirement Engineering for Intrusion Tolerant Systems

Security is one of the most important concerns of software development. However, today s 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.

Info autore

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

Dettagli sul prodotto

• Autori: Davou Mougouei, Davoud Mougouei, Man Kwan Yeung
• Editore: LAP Lambert Academic Publishing
• Lingue: Inglese
• Formato: Tascabile
• Pubblicazione: 01.01.2013
• EAN: 9783659376689
• ISBN: 978-3-659-37668-9
• Pagine: 104
• Categorie: Guide e manuali; Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Altro