Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

• Tác giả: Stephan Seifermann
• Ngôn ngữ: eng
• ISBN: KSP/1000151563
• Thông tin xuất bản: KIT Scientific Publishing 2022
• Mô tả vật lý: 1 electronic resource (412 p.)
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 343949
• Chủ đề: 1. Maths for computer scientists

Tóm tắt

Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.