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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 30, 5 (2005).
Tác giả chính: De Landtsheer, Renaud
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
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.