{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:37Z","timestamp":1750307917955,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,3,11]],"date-time":"2007-03-11T00:00:00Z","timestamp":1173571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,3,11]]},"DOI":"10.1145\/1244002.1244327","type":"proceedings-article","created":{"date-parts":[[2007,6,6]],"date-time":"2007-06-06T14:37:31Z","timestamp":1181140651000},"page":"1518-1525","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Towards security monitoring patterns"],"prefix":"10.1145","author":[{"given":"George","family":"Spanoudakis","sequence":"first","affiliation":[{"name":"City University, Northampton Square, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christos","family":"Kloukinas","sequence":"additional","affiliation":[{"name":"City University, Northampton Square, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kelly","family":"Androutsopoulos","sequence":"additional","affiliation":[{"name":"City University, Northampton Square, London, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,3,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Specification patterns http:\/\/patterns.projects.cis.ksu.edu\/  Specification patterns http:\/\/patterns.projects.cis.ksu.edu\/"},{"key":"e_1_3_2_1_4_1","volume-title":"Deliverable A7.D2.1, SERENITY Project, \/www.serenityforum.org\/-Activities-.html?debut_article=4","author":"Campadello S.","year":"2006","unstructured":"Campadello S. : S&D Requirements specification , Deliverable A7.D2.1, SERENITY Project, \/www.serenityforum.org\/-Activities-.html?debut_article=4 , ( 2006 ). Campadello S. et al.: S&D Requirements specification, Deliverable A7.D2.1, SERENITY Project, \/www.serenityforum.org\/-Activities-.html?debut_article=4, (2006)."},{"key":"e_1_3_2_1_5_1","volume-title":"Proc. Of 25th Inter. Symp. on Fault-Tolerant Computing, 'Highlights from Twenty-Five Years'","volume":"119","author":"Chen L.","year":"1995","unstructured":"Chen , L. and Avizienis A .: *N-version Programming: A Fault-Tolerance Approach To Reliability Of Software Operation , Proc. Of 25th Inter. Symp. on Fault-Tolerant Computing, 'Highlights from Twenty-Five Years' , vol. III:113-- 119 , 1995 . Chen, L. and Avizienis A.: *N-version Programming: A Fault-Tolerance Approach To Reliability Of Software Operation, Proc. Of 25th Inter. Symp. on Fault-Tolerant Computing, 'Highlights from Twenty-Five Years', vol. III:113--119, 1995."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645880.672076"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646962.712108"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1987.232894"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/298595.298598"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of UbiSys '04","author":"English C.","year":"2004","unstructured":"English , C. , Terzis , S. , Nixon , P. : Towards Self-Protecting Ubiquitous Systems Monitoring Trust-based Interactions , Proc. of UbiSys '04 , ( 2004 ) English, C., Terzis, S., Nixon, P.: Towards Self-Protecting Ubiquitous Systems Monitoring Trust-based Interactions, Proc. of UbiSys '04, (2004)"},{"key":"e_1_3_2_1_12_1","volume-title":"A pattern language for security models. Technical report","author":"Fernandez E. B.","year":"2001","unstructured":"Fernandez , E. B. , and Pan , R .: A pattern language for security models. Technical report , Florida Atlantic University , published in PLoP ( 2001 ) Fernandez, E. B., and Pan, R.: A pattern language for security models. Technical report, Florida Atlantic University, published in PLoP (2001)"},{"key":"e_1_3_2_1_13_1","volume-title":"An OCL Extension for Real-Time Constraints. Advances in Object Modelling with the OCL","author":"Flake S.","year":"2001","unstructured":"Flake , S. , and Mueller , W .: An OCL Extension for Real-Time Constraints. Advances in Object Modelling with the OCL , LNCS. Springer-Verlag , ( 2001 ) Flake, S., and Mueller, W.: An OCL Extension for Real-Time Constraints. Advances in Object Modelling with the OCL, LNCS. Springer-Verlag, (2001)"},{"key":"e_1_3_2_1_14_1","volume-title":"ETAPS 2001 Satellite Event","author":"J\u00fcrjens J.","year":"2001","unstructured":"J\u00fcrjens , J. : Transformations for introducing patterns - a secure systems case study. In Work. on Transformations in UML , ETAPS 2001 Satellite Event , ( 2001 ) J\u00fcrjens, J.: Transformations for introducing patterns - a secure systems case study. In Work. on Transformations in UML, ETAPS 2001 Satellite Event, (2001)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719625"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/882493.884386"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062526"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647246.719477"},{"key":"e_1_3_2_1_20_1","volume-title":"Pnueli","author":"Manna Z.","year":"1992","unstructured":"Manna , Z. , Pnueli , A. : The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag ( 1992 ) Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag (1992)"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237438"},{"key":"e_1_3_2_1_22_1","volume-title":"Proc. 20th National Information Systems Security Conference, 353--365","author":"Porras P. A.","year":"1997","unstructured":"Porras , P. A. and Neumann , P. G .: EMERALD: Event monitoring enabling responses to anomalous live disturbances , In Proc. 20th National Information Systems Security Conference, 353--365 . ( 1997 ) Porras, P. A. and Neumann, P. G.: EMERALD: Event monitoring enabling responses to anomalous live disturbances, In Proc. 20th National Information Systems Security Conference, 353--365. (1997)"},{"key":"e_1_3_2_1_23_1","unstructured":"Security Patterns http:\/\/www.securitypatterns.org  Security Patterns http:\/\/www.securitypatterns.org"},{"key":"e_1_3_2_1_24_1","volume-title":"Artificial Intelligence Today, LNAI no. 1600: 409--430","author":"Shanahan M. P.","year":"1999","unstructured":"Shanahan , M. P. : The Event Calculus Explained , in Artificial Intelligence Today, LNAI no. 1600: 409--430 , Springer ( 1999 ) Shanahan, M. P.: The Event Calculus Explained, in Artificial Intelligence Today, LNAI no. 1600:409--430, Springer (1999)"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/581339.581345"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001384"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102158"}],"event":{"name":"SAC07: The 2007 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Seoul Korea","acronym":"SAC07"},"container-title":["Proceedings of the 2007 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244327","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1244002.1244327","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:29Z","timestamp":1750258289000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1244002.1244327"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,11]]},"references-count":25,"alternative-id":["10.1145\/1244002.1244327","10.1145\/1244002"],"URL":"https:\/\/doi.org\/10.1145\/1244002.1244327","relation":{},"subject":[],"published":{"date-parts":[[2007,3,11]]},"assertion":[{"value":"2007-03-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}