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...

Full description

Bibliographic Details
Published in:Software engineering notes. 30, 5 (2005).
Main Author: De Landtsheer, Renaud
Format: Article
Language:English
Subjects:
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.