Nicola Zannone

Security Agent-Oriented Requirements Engineering

The SI Modeling Language and the Secure Tropos Methodology

• Broschiertes Buch

Produktbeschreibung

Security is widely recognized as a main challenge in
developing software. Security Requirements
Engineering is an emerging field at the crossroads
between Security and Software Engineering, spurred by
the realization that security must be dealt with from
the earliest phases of the software development
process. This book enables understanding of the
deeper issues and challenges in developing secure
systems, the concepts for capturing security aspects
of socio-technical systems, and the support needed by
enterprises for the definition of security policies
as dictated by ISO security standards and data
protection legislation. The author presents the SI
modeling language and the Secure Tropos methodology
to address the problem of modeling and analyzing
security requirements at the organizational level.
The SI language employs a set of concepts founded on
the notions of permission, delegation, and trust.
These concepts are formalized and are shown to
support the requirements analysis process through a
formal reasoning tool. The Secure Tropos methodology
provides facilities for analyzing security
requirements and guidelines to identify appropriate
protection mechanisms.

Produktdetails

• Verlag: VDM Verlag Dr. Müller
• Seitenzahl: 132
• Englisch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 186g
• ISBN-13: 9783639176544
• ISBN-10: 3639176545
• Artikelnr.: 26623931

Autorenporträt

Nicola Zannone received a PhD in Computer Science at University
of Trento in 2007. He is currently a Postdoc in the Security
Group at the Technical University of Eindhoven. He received the
IBM PhD Fellowship Award for the 2006-07 academic year. His
research interests include computer security, data protection,
and formal verification.