A Problem-Oriented Approach to Common Criteria Certification.

Thomas Rottke, Denis Hatebur, Maritta Heisel, Monika Heiner

Browse the full SAFECOMP paper archive.