Reasoning about confidentiality at requirements engineering time.

Reasoning about confidentiality at requirements engineering time.

Growing attention is being paid to application security at requirements engineering time. Confidentiality is a particular subclass of security concerns that requires sensitive information to never be disclosed to unauthorized agents. Disclosure refers to undesired knowledge states of such agents. In...

Ausführliche Beschreibung

Bibliographische Detailangaben
Veröffentlicht in:Software engineering notes. 30, 5 (2005).
1. Verfasser: De Landtsheer, Renaud
Format: Artikel
Sprache:English
Schlagworte:
Software.
Software engineering.
Requirements / Specifications.
Methodologies (e.g., object-oriented, structured).
Languages.
Tools.
Design.
Security.
Verification.
Bounded model checking.
Reasoning about confidentiality.
Security requirements.
Specification patterns.