{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T04:52:18Z","timestamp":1755838338921,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/cts.2013.6567219","type":"proceedings-article","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T20:13:02Z","timestamp":1375387982000},"page":"139-142","source":"Crossref","is-referenced-by-count":4,"title":["A collaborative framework for generating probabilistic contracts"],"prefix":"10.1109","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Saracino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Sgandurra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Aldini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2046614.2046619"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.2307\/1402731"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.13"},{"key":"1","article-title":"A framework for probabilistic contract compliance","author":"dini","year":"2013","journal-title":"Istituto di Informatica e Telematica"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.69"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICON.2004.1409210"},{"key":"5","first-page":"331","article-title":"CRePE: Context-related policy enforcement for android","author":"conti","year":"2010","journal-title":"ISC'10 Proceedings of the 13th International Conference on Information Security"},{"key":"4","article-title":"Madam: A mult-level anomaly detector for android malware","volume":"7531","author":"dini","year":"2012","journal-title":"6th International Conference on Mathematical Methods Models and Architectures for Computer Network Security"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0107-8"},{"key":"8","article-title":"Intrusion detection via system call traces","volume":"14","author":"koresow","year":"1997","journal-title":"Software"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1002\/qre.392"}],"event":{"name":"2013 International Conference on Collaboration Technologies and Systems (CTS)","start":{"date-parts":[[2013,5,20]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2013,5,24]]}},"container-title":["2013 International Conference on Collaboration Technologies and Systems (CTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6558543\/6567186\/06567219.pdf?arnumber=6567219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T03:34:36Z","timestamp":1490240076000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6567219\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/cts.2013.6567219","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}