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

全面介绍

书目详细资料
发表在:Software engineering notes. 30, 5 (2005).
主要作者: De Landtsheer, Renaud
格式: 文件
语言:English
主题:
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.