{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:20:41Z","timestamp":1743157241324,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466803"},{"type":"electronic","value":"9783662466810"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46681-0_19","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T18:56:36Z","timestamp":1427741796000},"page":"225-230","source":"Crossref","is-referenced-by-count":3,"title":["SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Armando","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Bocci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giantonio","family":"Chiarelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabriele","family":"De Maglie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"Mammoliti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessio","family":"Merlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"Aktug, I., Naliuka, K.: ConSpec \u2013 A formal language for policy specification. Science of Computer Programming\u00a074(1-2), 2\u201312 (2008) Special Issue on Security and Trust","DOI":"10.1016\/j.scico.2008.09.004"},{"key":"19_CR2","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/2627393.2627410","volume-title":"Proceedings of the 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec 2014","author":"A. Armando","year":"2014","unstructured":"Armando, A., Costa, G., Merlo, A., Verderame, L.: Enabling BYOD Through Secure Meta-market. In: Proceedings of the 2014 ACM Conference on Security and Privacy in Wireless & Mobile Networks, WiSec 2014, pp. 219\u2013230. ACM, New York (2014)"},{"key":"19_CR3","first-page":"32","volume-title":"Proceedings of the 2005 IEEE Symposium on Security and Privacy, SP 2005","author":"M. Christodorescu","year":"2005","unstructured":"Christodorescu, M., Jha, S., Seshia, S.A., Song, D., Bryant, R.E.: Semantics-Aware Malware Detection. In: Proceedings of the 2005 IEEE Symposium on Security and Privacy, SP 2005, pp. 32\u201346. IEEE Computer Society, Washington, DC (2005)"},{"issue":"2","key":"19_CR4","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"4","key":"19_CR5","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/356678.356680","volume":"8","author":"P.J. Denning","year":"1976","unstructured":"Denning, P.J.: Fault tolerant operating systems. ACM Comput. Surv.\u00a08(4), 359\u2013389 (1976)","journal-title":"ACM Comput. Surv."},{"key":"19_CR6","unstructured":"Idika, M.: A Survey of Malware Detection Techniques. Technical report, Purdue University (February 2007)"},{"issue":"12","key":"19_CR7","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/MC.2008.514","volume":"41","author":"G. McGraw","year":"2008","unstructured":"McGraw, G.: Automated Code Review Tools for Security. Computer\u00a041(12), 108\u2013111 (2008)","journal-title":"Computer"},{"issue":"5","key":"19_CR8","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.877857","volume":"17","author":"G. McGraw","year":"2000","unstructured":"McGraw, G., Morrisett, G.: Attacking malicious code: A report to the infosec research council. IEEE Softw.\u00a017(5), 33\u201341 (2000)","journal-title":"IEEE Softw."},{"issue":"4","key":"19_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1109\/MITP.2011.73","volume":"13","author":"S. Quirolgico","year":"2011","unstructured":"Quirolgico, S., Voas, J., Kuhn, R.: Vetting Mobile Apps. IT Professional\u00a013(4), 9\u201311 (2011)","journal-title":"IT Professional"},{"key":"19_CR10","first-page":"265","volume-title":"Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002","author":"R. Sekar","year":"2002","unstructured":"Sekar, R., Gupta, A., Frullo, J., Shanbhag, T., Tiwari, A., Yang, H., Zhou, S.: Specification-based Anomaly Detection: A New Approach for Detecting Network Intrusions. In: Proceedings of the 9th ACM Conference on Computer and Communications Security, CCS 2002, pp. 265\u2013274. ACM, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46681-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T14:24:35Z","timestamp":1559139875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46681-0_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466803","9783662466810"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46681-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}