Security Through Integration: Towards a Comprehensive Framework for Development and Certification. - Bertrand Marquet; Adrian Rossi; François J. N. Cosquer (Certification and Security in E-Services, 2002)