{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:40:03Z","timestamp":1741912803212,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249570"},{"type":"electronic","value":"9783642249587"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24958-7_4","type":"book-chapter","created":{"date-parts":[[2011,11,10]],"date-time":"2011-11-10T18:55:12Z","timestamp":1320951312000},"page":"28-36","source":"Crossref","is-referenced-by-count":0,"title":["Faster Log Analysis and Integration of Security Incidents Using Knuth-Bendix Completion"],"prefix":"10.1007","author":[{"given":"Ruo","family":"Ando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shinsuke","family":"Miwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/BF00297250","volume":"4","author":"L. Wos","year":"1988","unstructured":"Wos, L.: The Problem of Self-Analytically Choosing the Weights. J. Autom. Reasoning\u00a04(4), 463\u2013464 (1988)","journal-title":"J. Autom. Reasoning"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Wos, L., Robinson, G.A., Carson, D.F., Shalla, L.: The Concept of Demodulation in Theorem Proving. Journal of Automated Reasoning (1967)","DOI":"10.1007\/978-3-642-81955-1_5"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Wos, L., Robinson, G.A., Carsonmh, D.F.: Efficiency Completeness of the Set of Support Strategy in Theorem Provingh. Journal of Automated Reasoning (1965)","DOI":"10.1007\/978-3-642-81952-0_29"},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/BF00244395","volume":"4","author":"L. Wos","year":"1988","unstructured":"Wos, L.: The Problem of Explaining the Disparate Performance of Hyperresolution and Paramodulation. J. Autom. Reasoning\u00a04(2), 215\u2013217 (1988)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"4_CR5","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/BF00249023","volume":"7","author":"L. Wos","year":"1991","unstructured":"Wos, L.: The Problem of Choosing the Type of Subsumption to Use. J. Autom. Reasoning\u00a07(3), 435\u2013438 (1991)","journal-title":"J. Autom. Reasoning"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Knuth, D., Bendix, P.: Simple word problems in universal algebras. In: Leech, J. (ed.) Computational Problems in Abstract Algebra, pp. 263\u2013297 (1970)","DOI":"10.1016\/B978-0-08-012975-4.50028-X"},{"key":"4_CR7","unstructured":"Microsoft Security Advisory, http:\/\/www.microsoft.com\/technet\/security\/advisory\/979352.mspx"},{"key":"4_CR8","unstructured":"Operation Aurora Hit Google, Others. McAfee, Inc. (January 14, 2010)"},{"key":"4_CR9","unstructured":"CVE-1999-0256, http:\/\/web.nvd.nist.gov\/view\/vuln\/detail?vulnId=CVE-1999-0256"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Miyachi, T., Basuki, A., Mikawa, S., Miwa, S., Chinen, K.-i., Shinoda, Y.: Educational Environment on StarBED \u2014Case Study of SOI. In: Asia 2008 Spring Global E-Workshop\u2013, Asian Internet Engineering Conference (AINTEC) 2008, Bangkok, Thailand, pp. 27\u201336. ACM (November 2008) ISBN: 978-1-60558-127-9","DOI":"10.1145\/1503370.1503378"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Ando, R.: Automated Log Analysis of Infected Windows OS Using Mechanized Reasoning. In: 16th International Conference on Neural Information Processing ICONIP 2009, Bangkok, Thailand, December 1-5 (2009)","DOI":"10.1007\/978-3-642-10684-2_60"},{"key":"4_CR12","unstructured":"Schneider, S., Beschastnikh, I., Chernyak, S., Ernst, M.D., Brun, Y.: Synoptic: Summarizing system logs with refinement. Appeared at the Workshop on Managing Systems via Log Analysis and Machine Learning Techniques, SLAML (2010)"}],"container-title":["Lecture Notes in Computer Science","Neural Information Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24958-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,13]],"date-time":"2025-03-13T23:54:06Z","timestamp":1741910046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24958-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249570","9783642249587"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24958-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}