Sciweavers

SIGSOFT
2002
ACM

Secure systems development based on the common criteria: the PalME project

14 years 4 months ago
Secure systems development based on the common criteria: the PalME project
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements catalogue for the evaluation of security critical systems. Using the CC, a large number of security requirements on the system itself and on the system development can be defined. However, the CC does not give methodological support. In this paper, we show how integrate security aspects into the software engineering process. The activities and documents from the Common Criteria are tightly intertwined with the system development, which improves the quality of the developed system and reduces the additional cost and effort due to high security requirements. For modelling and verification of critical parts of the system, we use formal description techniques and model checking (supported by the graphical CASE tool AutoFocus), which increases both the understanding of the system specification and the system's re...
Monika Vetterling, Guido Wimmel, Alexander K. Wi&s
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2002
Where SIGSOFT
Authors Monika Vetterling, Guido Wimmel, Alexander K. Wißpeintner
Comments (0)