{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:48:54Z","timestamp":1742960934738,"version":"3.40.3"},"publisher-location":"Wiesbaden","reference-count":13,"publisher":"Springer Fachmedien Wiesbaden","isbn-type":[{"type":"print","value":"9783658003326"},{"type":"electronic","value":"9783658003333"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-658-00333-3_23","type":"book-chapter","created":{"date-parts":[[2012,12,10]],"date-time":"2012-12-10T06:34:49Z","timestamp":1355121289000},"page":"243-251","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Intention Semantics and Trust Evidence"],"prefix":"10.1007","author":[{"given":"Claire","family":"Vishik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Ott","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Grawrock","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2012,12,11]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Budiu, M., Erlingsson, U., Ligatti, J. Control-flow integrity principles, implementations, and applications. ACM Transactions on Information and System Security, Vol. 13, No 1 (October 2009).","DOI":"10.1145\/1609956.1609960"},{"key":"23_CR2","unstructured":"Bratus, S. Locasto, M., Patterson, M., Sassaman, L., and Shubina, A. Exploit programming: from buffer overflows to \u201cweird machines\u201d and theory of computation.;login:, Vol. 26, No. 6 (December 2011)."},{"issue":"4","key":"23_CR3","first-page":"28","volume":"33","author":"Buneman Peter","year":"November 2008","unstructured":"Peter Buneman, James Cheney, and Stijn Vansummeren..On the expressiveness of implicit provenance in query and update languages. ACM Transactions on Database Systems,33(4):28, November 2008.","journal-title":"ACM Transactions on Database Systems"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. Why and where: A characterization of data provenance. In ICDT, number 1973 in LNCS, pages 316\u2013330. Springer, 2001.","DOI":"10.1007\/3-540-44503-X_20"},{"key":"23_CR5","doi-asserted-by":"crossref","unstructured":"Peter Buneman, Sanjeev Khanna, and Wang-Chiew Tan. On propagation of deletions and annotations through views. In PODS, pages 150\u2013158, 2002.","DOI":"10.1145\/543613.543633"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Chandola, V., Banerjee, A., and Kumar, V. Anomaly detection: A survey. ACM Computing Surveys. Vol 41, No 3, (July 2009).","DOI":"10.1145\/1541880.1541882"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"E. Denney and B. Fischer. Software Certication and Software Certication Management Systems. In SoftCement05. Proceedings of the 2005 ASE Workshop on Software Certificate Management, 2005.","DOI":"10.1145\/1101908.1102003"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, and Bjarne Stroustrup.2008. Verification and semantic parallelization of goal-driven autonomous software. In Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems(Autonomics \u201808). ICST (Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering), ICST, Brussels","DOI":"10.4108\/ICST.AUTONOMICS2008.4354"},{"key":"23_CR9","unstructured":"Pei, J., Upadhyaya, S. J., Farooq, F., and Govindaraju, V. Data Mining for Intrusion Detection - Techniques, Applications and Systems. ICDE Tutorial, (2004)."},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Riemenschneider, C.K.; Hardgrave, B.C.; Davis, F.D. Explaining software developer acceptance of methodologies: a comparison of five theoretical models, Software Engineering, IEEE Transactions on, vol.28, no.12, pp. 1135- 1145, Dec 2002","DOI":"10.1109\/TSE.2002.1158287"},{"key":"23_CR11","first-page":"15","volume":"42","author":"H Saiedian","year":"April 2000","unstructured":"H Saiedian, R Dale, Requirements engineering: making the connection between the software developer and customer, Information and Software Technology, Volume 42, Issue 6, 15 April 2000, Pages 419-428","journal-title":"Information and Software Technology"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Ji Zhang, Betty H.C. Cheng. Using temporal logic to specify adaptive program semantics, Journal of Systems and Software, Volume 79, Issue 10, October 2006, Pages 1361-1369.","DOI":"10.1016\/j.jss.2006.02.062"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"A. Lakhina, M. Crovella, and C. Diot. Mining anomalies using traffic feature distributions. SIGCOMM \u201805: Proceedings of the 2005 conference on applications, technologies, architectures, and protocols for computer communications, (2005).","DOI":"10.1145\/1080091.1080118"}],"container-title":["ISSE 2012 Securing Electronic Business Processes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-658-00333-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,7]],"date-time":"2023-02-07T11:25:37Z","timestamp":1675769137000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-658-00333-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783658003326","9783658003333"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-658-00333-3_23","relation":{},"subject":[],"published":{"date-parts":[[2012]]},"assertion":[{"value":"11 December 2012","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}