244 Maña, Rudolph, Spanoudakis, Lotz, Massacci, Melideo, & López-Cobo Copyright © 2007, Idea Group Inc. Copying or distributing in print or electronic forms without written permis- sion of Idea Group Inc. is prohibited. Chapter XI Security Engineering for Ambient Intelligence: A Manifesto A. Maña, University of Malaga, Spain C. Rudolph, Fraunhofer Institute for Secure Information Technology, Germany G. Spanoudakis, City University, UK V. Lotz, SAP Research, France F. Massacci, University of Trento, Italy M. Melideo, Engineering Ingegneria Informatica, Italy J. S. López-Cobo, ATOS Origin, Spain ABSTRACT The scenarios of ambient intelligence introduce a new computing paradigm and set new challenges for the design and engineering of secure and dependable systems. This chapter describes SERENITY, a comprehensive approach to overcome those problems. The key to success in this scenario is to capture security expertise in such a way that it can be supported by automated means. SERENITY’s integral model of ADD — security and dependability (S&D) considers both static and dynamic aspects by relying in two main innovations: (1) the enhanced notion of S&D pat- terns and integration schemes; and (2) the computer aided run-time monitoring of 701 E. Chocolate Avenue, Suite 200, Hershey PA 17033, USA Tel: 717/533-8845; Fax 717/533-8661; URL-http://www.idea-group.com ITB13364 INFORMATION SCIENCE PUBLISHING This chapter appears in the book, Integrating Security and Software Engineering: Advances and Future Visions edited by Haralambos Mouratidis and Paolo Giorgini © 2007, Idea Group Inc.