{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:55:42Z","timestamp":1747810542348,"version":"3.40.3"},"publisher-location":"Boston, MA","reference-count":34,"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_13","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T17:55:18Z","timestamp":1240077318000},"page":"213-237","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["The SERENITY Runtime Monitoring Framework"],"prefix":"10.1007","author":[{"given":"George","family":"Spanoudakis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khaled","family":"Mahbub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,3,31]]},"reference":[{"key":"13_CR1_13","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF01587095","volume":"44","author":"I Adler","year":"1989","unstructured":"Adler I et al (1989) An Implementation of Karmarkar's Algorithm for Linear Programming. Mathematical Programming, 44: 297\u2013335","journal-title":"Mathematical Programming"},{"key":"13_CR2_13","unstructured":"Lazarevic A, Kumar V, Srivastava J (2006) Intrusion Detection: A Survey. Massive Computing, In: Kumar V, Srivastava J, Lazarevic A (eds), Managing Cyber Threats: Issues, Approaches and Challenges, Springer, ISBN 0387242260"},{"key":"13_CR3_13","doi-asserted-by":"crossref","unstructured":"Armenteros A, Garcia L, Mu\u00f1oz A, Ma\u00f1a A (2008) Realising the Potential of SERENITY in Emerging AmI Ecosystems: Implications and Challenges. In: Spanoudakis G, Ma\u00f1a A, Kokolakis S (eds) Security and Dependability for Ambient Intelligence, Information Security Series, Springer","DOI":"10.1007\/978-0-387-88775-3_18"},{"key":"13_CR4_13","unstructured":"Avizienis A, Larpie C, Randell B (2001). Fundamental Concepts of Dependability. LAAS-CNRS, Tech. Rep. N01145."},{"key":"13_CR5_13","doi-asserted-by":"crossref","unstructured":"Baresi L, Guinea S (2005) Dynamo: Dynamic Monitoring of WS-BPEL Processes. Proceedings of 3rd International Conference On Service Oriented Computing, Amsterdam, The Netherlands.","DOI":"10.1007\/11596141_36"},{"key":"13_CR6_13","doi-asserted-by":"crossref","unstructured":"Campbell A, Safavi-Naini R, Pleasants A (1992) Partial Belief and Probabilistic Reasoning in the Analysis of Secure Protocols. Proceedings of 5th IEEE Computer Security Foundations Workshop, 84\u201391. IEEE Computer Society Press.","DOI":"10.1109\/CSFW.1992.236785"},{"key":"13_CR7_13","unstructured":"Chatzigiannakis V, Androulidakis G, Grammatikou M, Maglaris B (2004) A Distributed Intrusion Detection Prototype using Security Agents. Proceedings of HP Open View University Association (HPOVUA)"},{"key":"13_CR8_13","unstructured":"Chatzigiannakis V, Androulidakis G, Grammatikou M, Maglaris B (2004) An Architectural Framework for Distributed Intrusion Detection using Smart Agents. Proceedings of SAM04, Las Vegas"},{"key":"13_CR9_13","doi-asserted-by":"crossref","unstructured":"Chen F, Rosu G (2003) Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In Electronic Notes in Theoretical Computer Science, 89(2), Elsevier Science B.V.","DOI":"10.1016\/S1571-0661(04)81045-4"},{"issue":"2","key":"13_CR10_13","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1109\/TSE.1987.232894","volume":"13","author":"D Denning","year":"1987","unstructured":"Denning D (1987) An Intrusion-Detection Model. IEEE Transactions on Software Engineering, 13(2): 222\u2013232.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"13_CR11_13","first-page":"364","volume":"54","author":"D Gale","year":"2007","unstructured":"Gale D (2007) Linear programming and the simplex method. Notices of the AMS, 54(3):364\u2013369.","journal-title":"Notices of the AMS"},{"key":"13_CR12_13","doi-asserted-by":"crossref","unstructured":"Ghezzi C, Guinea S (2007) Runtime Monitoring in Service Oriented Architectures. In: Baresi L and di Nitto E. (eds), Test and Analysis of Web Services, Springer, 237\u2013264, 2007.","DOI":"10.1007\/978-3-540-72912-9_9"},{"key":"13_CR13_13","unstructured":"Gudkov V, Johnson J (2002) Multidimensional Network Monitoring for Intrusion Detection. CoRR: Cryptography and Security\/0206020"},{"key":"13_CR14_13","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"K Havelund","year":"2004","unstructured":"Havelund K, Ro\u015fu G (2004) An Overview of the Runtime Verification Tool Java PathExplorer. Form. Methods Syst. Des. 24, 189\u2013215.","journal-title":"Form. Methods Syst. Des"},{"key":"13_CR15_13","doi-asserted-by":"crossref","unstructured":"Barringer H, Rydeheard D, Gabbay D (2007) A Logical Framework for Monitoring and Evolving Software Components. Proceedings of 1st Joint IEEE\/IFIP Symposium on Theoretical Aspects of Computer Science (TASE07), Shanghai.","DOI":"10.1109\/TASE.2007.4"},{"key":"13_CR16_13","unstructured":"Howard B, Dov G, Rydeheard D, (2007) From Runtime Verification to Evolvable Systems. 7th International Workshop on Runtime Verification"},{"key":"13_CR17_13","unstructured":"Kloukinas C, Mahbub K, Spanoudakis G (2007) Evaluation of V1 of Dynamic Validation Prototype, Deliverable A4.D3.2, SERENITY Project, http:\/\/www.serenity-forum.org\/IMG\/pdf\/A4.D3.2_Evaluation_of_v1_of_dynamic_validation_prototype_v.-2.pdf, Accessed 9 December 2008"},{"key":"13_CR18_13","doi-asserted-by":"crossref","unstructured":"Mahbub K, Spanoudakis G. (2004) A Framework for Requirements Monitoring of Service Based Systems. Proceedings of 2nd International Conference on Service Oriented Computing, NY, USA.","DOI":"10.1145\/1035167.1035181"},{"key":"13_CR19_13","doi-asserted-by":"crossref","unstructured":"Mahbub K, Spanoudakis G. (2005) Run-time Monitoring of Requirements for Systems Composed of Web-Services: Initial Implementation and Evaluation Experience. Proceedings of 3rd Int. IEEE Conf. on Web Services","DOI":"10.1109\/ICWS.2005.100"},{"key":"13_CR20_13","unstructured":"Mahbub K, Spanoudakis G, Kloukinas C, (2007). V2 of dynamic validation prototype\u201d. Deliverable A4.D3.3, SERENITY Project, http:\/\/www.serenity-forum.org\/IMG\/pdf\/A4.D3.3_-_V2_of_Dynamic_validation_Prototype.pdf. Accessed 9 December 2008"},{"key":"13_CR21_13","unstructured":"Mahbub K, Spanoudakis G (2007) Monitoring WS-Agreements: An Event Calculus Based Approach. In: Baresi L, and di Nitto E (eds), Test and Analysis of Web Services, Springer"},{"key":"13_CR22_13","doi-asserted-by":"crossref","unstructured":"Ma\u00f1a A et al (2006) Security engineering for ambient intelligence: A manifesto. In: Integrating Security and Software Engineering: Advances and Future Vision. Idea Group Publishing, 244\u2013270","DOI":"10.4018\/978-1-59904-147-6.ch011"},{"key":"13_CR23_13","unstructured":"NTP, www.ntp.org, Accessed on 9 December 2008"},{"key":"13_CR24_13","doi-asserted-by":"crossref","unstructured":"Moser O, Rosenberg F, Dustdar S (2008) Non-intrusive monitoring and service adaptation for WS-BPEL. Proceedings of 17th International Conference on World Wide Web","DOI":"10.1145\/1367497.1367607"},{"key":"13_CR25_13","unstructured":"Zhang Q, Janakiraman R (2001) Indra: A Distributed Approach to Network Intrusion Detection and Prevention. Washington University Technical Report # WUCS-01-30"},{"key":"13_CR26_13","unstructured":"Li Q (2007) A Dynamic Verification Platform for BPEL Environments. MSc. Thesis, Department of Electrical & Computer Engineering, University of Alberta"},{"key":"13_CR27_13","doi-asserted-by":"crossref","unstructured":"Shanahan M.P. (1999) The event calculus explained. In: Artificial Intelligence Today. Volume 1600 of Lecture Notes in Artificial Intelligence. (1999) 409\u2013430","DOI":"10.1007\/3-540-48317-9_17"},{"key":"13_CR28_13","unstructured":"SNORT Intrusion Detection System, www.snort.org, 2004. Accessed 9 December 2008"},{"key":"13_CR29_13","doi-asserted-by":"crossref","unstructured":"Spanoudakis G, Kloukinas C, Androutsopoulos K.(2007) Towards security monitoring patterns. Proceedings of ACM Symposium on Applied Computing (SAC07) - Track on Software Verification, Volume 2, Seoul, Korea, 1518\u20131525","DOI":"10.1145\/1244002.1244327"},{"key":"13_CR30_13","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1142\/S0218843006001384","volume":"15","author":"G Spanoudakis","year":"2006","unstructured":"Spanoudakis G, Mahbub K (2006) Non intrusive monitoring of service based systems. Int. J. of Cooperative Information Systems 15: 325\u2013358","journal-title":"Int. J. of Cooperative Information Systems"},{"key":"13_CR31_13","unstructured":"Staniford-Chen S, Tung B, Porras P, Kahn C, Schnackenberg D, Feiertag R, Stillman M (1998) The Common Intrusion Detection Framework - Data Formats. IETF, www.watersprings.org\/pub\/id\/ draft-staniford-cidf-data-formats-00.txt, Accessed on 9 December 2008"},{"key":"13_CR32_13","volume-title":"Automated System Monitoring and Notification With Swatch","author":"E Stephen","year":"1993","unstructured":"Stephen E, Hansen, E, Atkins T (1993) Automated System Monitoring and Notification With Swatch. Proceedings of 7th USENIX conference on System administration, Monterey, California, USA, 1993"},{"key":"13_CR33_13","doi-asserted-by":"crossref","unstructured":"Tsigritis T, Spanoudakis G, Kloukinas C, Lorenzoli D (2009) Diagnosis and Threat Detection Capabilities of the SERENITY Monitoring Framework. In Spanoudakis G, Ma\u00f1a A, and Kokolakis S (eds), Security and Dependability for Ambient Intelligence, Information Security Series, Springer","DOI":"10.1007\/978-0-387-88775-3_14"},{"key":"13_CR34_13","doi-asserted-by":"crossref","unstructured":"van Lamsweerde A (1996) Divergent Views in Goal-Driven Requirements Engineering. Proceedings of Viewpoints '96 \u2013 ACM SIGSOFT Workshop of Viewpoints in Software Development","DOI":"10.1145\/243327.243674"}],"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_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T02:08:30Z","timestamp":1739066910000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-0-387-88775-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387887746","9780387887753"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-88775-3_13","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"}}]}}