{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T01:38:33Z","timestamp":1742953113934,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":46,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387887746"},{"type":"electronic","value":"9780387887753"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-88775-3_5","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"69-95","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Representation of Security and Dependability Solutions"],"prefix":"10.1007","author":[{"given":"Francisco","family":"S\u00e1nchez-Cid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Ma\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Spanoudakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Serrano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Mu\u00f1oz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"issue":"4","key":"5_CR1_5","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/227210.227228","volume":"39","author":"M. Reiter","year":"1996","unstructured":"Reiter, M. (1996) Distributing trust with the Rampart toolkit, Communications of the ACM, v.39 n.4, p.71\u201374.","journal-title":"Communications of the ACM"},{"key":"5_CR2_5","unstructured":"BEA White Paper BEA WebLogic Security Framework Working with Your Security Eco-System. http:\/\/www.bea.com. Cited 6 July 2008."},{"key":"5_CR3_5","unstructured":"Object Management Group. The Common Object Request Broker Architecture and Specification. http:\/\/www.omg.org. Cited 6 July 2008."},{"key":"5_CR4_5","doi-asserted-by":"crossref","unstructured":"Llewellyn-Jones, D., Merabti, M., Shi, Q., B. Askwith (2004) An Extensible Framework for Practical Secure Component Composition in a Ubiquitous Computing Environment. In Proceedings of International Conference on Information Technology.","DOI":"10.1109\/ITCC.2004.1286435"},{"key":"5_CR5_5","unstructured":"Fayad, M., Johnson, R., Schmidt, D.C. (1999) Building Application Frameworks Object-Oriented Foundations of Framework Design. Wiley & Sons."},{"key":"5_CR6_5","unstructured":"Schumacher, M., Mouratidis, H., Giorgini, P. (2003) Security Patterns for Agent Systems. In Proc. of 8th European Conference on Pattern Languages of Programs."},{"issue":"3","key":"5_CR7_5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N.R., Kinny., D. (2000) The Gaia methodology for agent-oriented analysis and design. Journal of Autonomous Agents and Multi-Agent Systems, 3(3), p.285.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"5_CR8_5","unstructured":"Boudaoud, K., McCathieNevile, C. (2002) An Intelligent Agent-based Model for Security Management. In Proc. 7th International Symposium on Computers and Communications."},{"key":"5_CR9_5","unstructured":"Nobukazu Y., Shinichi H., Anthony F. (2004) Security Patterns A Method for Constructing Secure and Efficient Inter-Company Coordination Systems. Enterprise Distributed Object Computing Conference."},{"key":"5_CR10_5","unstructured":"Cigital Labs AOP An Aspect-Oriented Security Assurance Solution. http:\/\/www.cigital.com\/labs\/projects\/1027\/. Cited 6 July 2008"},{"key":"5_CR11_5","doi-asserted-by":"crossref","unstructured":"Shah, V., Hill, F. (2003) An Aspect-Oriented Security Framework. DARPA Information Survivability Conference and Exposition - Volume II, p. 143.","DOI":"10.1109\/DISCEX.2003.1194952"},{"key":"5_CR12_5","unstructured":"Llewellyn-Jones, D., Merabti, M., Shi, Q., Askwith, B. (2004) Utilizing Component Composition for Secure ubiquitous Computing. In Proceedings of 2nd UK-UbiNet Workshop."},{"issue":"3","key":"5_CR13_5","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/S0164-1212(98)10036-5","volume":"43","author":"Q. Shi","year":"1998","unstructured":"Shi, Q., Zhang, N. (1998) An effective model for composition of secure systems. Journal of Systems and Software. 43(3), pp. 233\u2013244.","journal-title":"Journal of Systems and Software"},{"key":"5_CR14_5","unstructured":"Mantel, H. (2002) On the composition of secure systems. In Proc. of IEEE Symposium on Security and Privacy."},{"issue":"3","key":"5_CR15_5","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1109\/TSE.2003.1183935","volume":"29","author":"C. Canal","year":"2003","unstructured":"Canal, C., Fuentes, L., Pimentel, E., Troya, J.M., Vallecillo, A. (2003) Adding Roles to CORBA Objects. IEEE Transactions on Software Engineering 29(3), pp. 242\u2013260.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR16_5","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, J., Ma\u00f1a, A., Ortega, J.J., Troya, J., Yague, M.I. (2003) Integrating PMI Services in CORBA Applications. In Computer Standards & Interfaces, 25, 4, pp. 391\u2013409. Elsevier.","DOI":"10.1016\/S0920-5489(03)00010-2"},{"key":"5_CR17_5","unstructured":"Meling, R. (2000) Storing and Retrieving Software Components A Component Description Manager. In Proc. of the Australian Software Engineering Conference. IEEE."},{"key":"5_CR18_5","unstructured":"Becker, S. (2006) Coordination and Adaptation Techniques Bridging the Gap between Design and Implementation. Report on the ECOOP\u20192006 Workshop on Coordination and Adaptation Techniques for Software Entities. Springer."},{"issue":"1","key":"5_CR19_5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/52.976939","volume":"19","author":"K. Khan","year":"2002","unstructured":"Khan, K., Han, J. (2002) Composing Security-aware Software. IEEE Software, Vol. 19, Issue 1, pp 34\u201341. IEEE.","journal-title":"IEEE Software"},{"key":"5_CR20_5","doi-asserted-by":"crossref","unstructured":"Brogi, A., Cmara, J., Canal, C., Cubo, J., Pimentel, E. (2006) Dynamic Contextual Adaptation. Workshop on the Foundations of Coordination Languages and Software Architectures. Electronic Notes in Theoretical Computer Science. Elsevier.","DOI":"10.1016\/j.entcs.2007.03.005"},{"key":"5_CR21_5","doi-asserted-by":"crossref","unstructured":"McDermid, J.A, Shi, Q. (1992) Secure composition of systems. In Proc. of Eighth Annual Computer Security Applications Conference, pp. 112\u2013122.","DOI":"10.1109\/CSAC.1992.228228"},{"key":"5_CR22_5","doi-asserted-by":"crossref","unstructured":"Jaeger, T. (1998) Security Architecture for component-based Operating System. In ACM Special Interest Group in Operating Systems (SIGOPS) European Workshop.","DOI":"10.1145\/319195.319229"},{"key":"5_CR23_5","unstructured":"Ghosh, A.K., McGraw, G. An Approach for Certifying Security in Software Components."},{"key":"5_CR24_5","unstructured":"Kienzle, D.M., Elder, M.C. Final Technical Report Security Patterns for Web Application Development."},{"key":"5_CR25_5","unstructured":"IBM\u2019s Security Strategy team (2004) Introduction to Business Security Patterns. An IBM White Paper. http \/\/www-3.ibm.com\/security\/patterns\/intro.pdf. Cited 6 July 2008."},{"key":"5_CR26_5","unstructured":"Konrad, S., Cheng, B.H.C., Campbell, Laura, A., Wassermann, R. (2003) Using Security Patterns to Model and Analyze Security Requirements. In Proc. Requirements for High Assurance Systems Workshop."},{"key":"5_CR27_5","unstructured":"Yoder, J., Barcalow, J. (2000) Architectural Patterns for Enabling Application Security. In Pattern Languages of Program Design, pp. 301\u2013336. Addison Wesley."},{"key":"5_CR28_5","unstructured":"Romanosky, S. (2001) Security Design Patterns, Part 1, 1.4."},{"key":"5_CR29_5","unstructured":"Gamma, E., Helm, R., Johnson, R., and Vlissides, J. (1994) Design patterns Elements of Reusable Object-Oriented Software. Addison-Wesley."},{"key":"5_CR30_5","unstructured":"Fernandez, E.B. (2006) Security patterns. In Procs. of the Eighth International Symposium on System and Information Security."},{"key":"5_CR31_5","unstructured":"Fernandez, E.B., Rouyi, P. (2001) A pattern language for security models. PLoP\u201901."},{"key":"5_CR32_5","unstructured":"Fernandez, E.B. (2000) Metadata and authorization patterns. Technical report, Florida Atlantic University."},{"key":"5_CR33_5","unstructured":"Allenby, K., Kelly, T. (2001) Deriving Safety Requirements Using Scenarios. In Proc. of the 5th IEEE International Symposium on Requirements Engineering."},{"key":"5_CR34_5","doi-asserted-by":"crossref","unstructured":"Mikkonen, T. (1998) Formalizing design patterns. In Proc. of 20th ICSE, pp. 115\u2013124. IEEE Computer Society Press.","DOI":"10.1109\/ICSE.1998.671108"},{"key":"5_CR35_5","unstructured":"Wassermann, R., Cheng, B.H.C. (2003) Security Patterns. Technical Report MSU-CSE-03-23, Computer Science and Engineering."},{"key":"5_CR36_5","unstructured":"Hallstrom, J. O., Soundarajan, N., Tyler, B. (2004) Monitoring Design Pattern Contracts. In Proc. of the FSE-12 Workshop on Specification and Verification of Component-Based Systems, pp. 87\u201394."},{"key":"5_CR37_5","unstructured":"Hallstrom, J. O., Soundarajan, N. (2006) Pattern-Based System Evolution A Case-Study. In Proc of the 18th International Conference on Software Engineering and Knowledge Engineering."},{"key":"5_CR38_5","unstructured":"Pernul, G., Essmayr, W., Tjoa, A.M. (1997) Access controls by object oriented concepts. In Proc. of 11th IFIP WG 11.3 Working Conference on Database Security."},{"key":"5_CR39_5","unstructured":"Fernandez, E. B. (2004) Two patterns for web services security. In Proc. International Symposium on Web Services and Applications."},{"key":"5_CR40_5","unstructured":"Delessy-Gassant, N., Fernandez. E.B., Rajput. S, Larrondo-Petrie, M.M. (2004) Patterns for Application Firewalls. PLoP\u201904 Conference."},{"key":"5_CR41_5","unstructured":"Torsten, P, Fernandez, E.B., Mehlau, J.I., Pernul, G. (2004) A pattern system for access control. 18th IFIP WG 11.3 Conference on Data and Applications Security."},{"key":"5_CR42_5","unstructured":"Androutsopoulos K, Ballas C, Kloukinas C, Mahbub K, Spanoudakis G (2007) Version 1 of the dynamic validation prototype. Deliverable A4.D3.1, SERENITY EU Research Project 027587, available from http \/\/www.serenity-forum.org\/Work-package-4-3.html"},{"key":"5_CR43_5","doi-asserted-by":"crossref","unstructured":"Shanahan MP (1999) The event calculus explained. In Wooldridge MJ, Veloso M (eds) Artificial Intelligence Today, vol 1600, pp 409\u2013430.","DOI":"10.1007\/3-540-48317-9_17"},{"key":"5_CR44_5","unstructured":"Spanoudakis G, Tsigkritis T, Kloukinas C (2008) Second version of diagnosis proto-type. Deliverable A4.D5.2, SERENITY EU Research Project 027587, available from http\/\/www.serenity-forum.org\/Work-package-4-5.html"},{"key":"5_CR45_5","doi-asserted-by":"crossref","unstructured":"Tsigkritis T, Spanoudakis G, Kloukinas C, Lorenzoli D (2009) Security and Dependability for Ambient Intelligence, Springer Verlag, chap Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. Information Security Series.","DOI":"10.1007\/978-0-387-88775-3_14"},{"key":"5_CR46_5","first-page":"83","volume":"2008","author":"G Barthe","year":"2008","unstructured":"Barthe G, Grgoire B, Pavlova M. (2008) Preservation of Proof Obligations from Java to the Java Virtual Machine. IJCAR 2008. 83\u201399.","journal-title":"IJCAR"}],"container-title":["Advances in Information Security","Security and Dependability for Ambient Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-88775-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T02:09:38Z","timestamp":1739066978000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":46,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_5","relation":{},"ISSN":["1568-2633"],"issn-type":[{"type":"print","value":"1568-2633"}],"subject":[],"published":{"date-parts":[[2009]]},"assertion":[{"value":"31 March 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}