Elaborating Security Requirements by Construction of Intentional Anti-Models

Caring for security at requirements engineering time is amessage that has finally received some attention recently.However, it is not yet very clear how to achieve thissystematically through the various stages of therequirements engineering process.The paper presents a constructive approach to themo...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Software Engineering: Proceedings of the 26th International Conference on Software Engineering; 23-28 May 2004 S. 148 - 157
1. Verfasser:	van Lamsweerde, Axel
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	Washington, DC, USA IEEE Computer Society 23.05.2004
Schriftenreihe:	ACM Conferences
Schlagworte:	Applied sciences Computer science; control theory; systems Computing methodologies > Modeling and simulation > Model development and analysis Computing methodologies > Modeling and simulation > Model development and analysis > Model verification and validation Exact sciences and technology General and reference > Cross-computing tools and techniques > Verification Security and privacy > Software and application security > Software security engineering Software Software and its engineering > Software creation and management > Designing software Software and its engineering > Software creation and management > Designing software > Requirements analysis Software and its engineering > Software creation and management > Software development process management Software and its engineering > Software creation and management > Software development techniques > Object oriented development Software and its engineering > Software creation and management > Software verification and validation > Formal software verification Software and its engineering > Software notations and tools > Development frameworks and environments > Object oriented frameworks Software and its engineering > Software organization and properties > Software functional properties > Correctness > Access protection Software and its engineering > Software organization and properties > Software functional properties > Formal methods > Software verification Software engineering Theory of computation > Semantics and reasoning > Program reasoning > Program verification Formal method Software development Epistemology Refinement method Banking Electronic countermeasure Vulnerability Modeling Observable Formal specification World wide web User requirement Internet Safety
ISBN:	9780769521633, 0769521630
ISSN:	0270-5257
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!