乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T20:01:05Z","timestamp":1648670465179},"reference-count":24,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2012,11,1]],"date-time":"2012-11-01T00:00:00Z","timestamp":1351728000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computers & Electrical Engineering"],"published-print":{"date-parts":[[2012,11]]},"DOI":"10.1016\/j.compeleceng.2012.07.003","type":"journal-article","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T05:16:32Z","timestamp":1345612592000},"page":"1670-1686","source":"Crossref","is-referenced-by-count":0,"title":["An approach to the formal analysis of license interoperability"],"prefix":"10.1016","volume":"38","author":[{"given":"Kunihiko","family":"Fujita","sequence":"first","affiliation":[]},{"given":"Yasuyuki","family":"Tsukada","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.compeleceng.2012.07.003_b0005","doi-asserted-by":"crossref","unstructured":"Fujita K, Tsukada Y. An analysis of interoperability between licenses. In: Proceedings of the 10th ACM workshop on digital rights management (DRM 2010); 2010, p. 61\u201371.","DOI":"10.1145\/1866870.1866884"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0010","unstructured":"Creative Commons. Creative Commons (online). ."},{"issue":"6","key":"10.1016\/j.compeleceng.2012.07.003_b0015","doi-asserted-by":"crossref","first-page":"883","DOI":"10.1109\/JPROC.2004.827357","article-title":"The long march to interoperable digital rights management","volume":"92","author":"Koenen","year":"2004","journal-title":"Proc IEEE"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0020","doi-asserted-by":"crossref","unstructured":"Jamkhedkar PA, Heileman GL. A formal conceptual model for rights. In: Proceedings of the 8th ACM workshop on digital rights management (DRM 2008); 2008. p. 29\u201338.","DOI":"10.1145\/1456520.1456528"},{"issue":"2","key":"10.1016\/j.compeleceng.2012.07.003_b0025","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1016\/j.compeleceng.2008.06.012","article-title":"Digital rights management architectures","volume":"35","author":"Jamkhedkar","year":"2009","journal-title":"Comput Electr Eng"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0030","doi-asserted-by":"crossref","unstructured":"Sheppard NP, Safavi-Naini R. On the operational semantics of rights expression languages. In: Proceedings of the 9th ACM workshop on digital rights management (DRM 2009); 2009. p. 17\u201328.","DOI":"10.1145\/1655048.1655052"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0035","doi-asserted-by":"crossref","unstructured":"Do\u00ebrr G, Kalker T. Design rules for interoperable domains: controlling content dilution and content sharing. In: Proceedings of the 8th ACM workshop on digital rights management (DRM 2008); 2008. p. 39\u201350.","DOI":"10.1145\/1456520.1456529"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0040","doi-asserted-by":"crossref","unstructured":"Diehl E. A four-layer model for security of digital rights management. In: Proceedings of the 8th ACM workshop on digital rights management (DRM 2008); 2008. p. 19\u201328.","DOI":"10.1145\/1456520.1456527"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0045","unstructured":"Niwango, Inc. Niconi Commons (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0050","unstructured":"Free Software Foundation (FSF). GNU Free Documentation License (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0055","unstructured":"Stutz M. Design Science License (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0060","unstructured":"FreeBSD Foundation. The FreeBSD Documentation License (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0065","unstructured":"Niwango, Inc. Nico Nico Douga (online). ."},{"issue":"1","key":"10.1016\/j.compeleceng.2012.07.003_b0070","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1326554.1326558","article-title":"A formal foundation for XrML","volume":"55","author":"Halpern","year":"2008","journal-title":"J ACM"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0075","unstructured":"Pucella R, Weissman V. A formal foundation for ODRL. arXiv 2006; arXiv:cs\/0601085v1."},{"issue":"4","key":"10.1016\/j.compeleceng.2012.07.003_b0080","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1380564.1380569","article-title":"Using first-order logic to reason about policies","volume":"11","author":"Halpern","year":"2008","journal-title":"ACM Trans Inform Syst Security"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0085","unstructured":"Content Guard. XrML: eXtensible rights Markup Language (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0090","unstructured":"W3C. Open Digital Rights Language (ODRL) version 1.1. (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0095","unstructured":"Iannella R. ODRL Creative Commons Profile (online). ."},{"key":"10.1016\/j.compeleceng.2012.07.003_b0100","series-title":"Domain engineering: technology management, research and engineering","author":"Bj\u00f8rner","year":"2009"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0105","doi-asserted-by":"crossref","unstructured":"Nitta K, Shibasaki M, Sakata T, Yamaji T, Xianchang W, Ohsaki H, et al. New HELIC-II: a software tool for legal reasoning. In: Proceedings of the 5th international conference on artificial intelligence and law (ICAIL 1995); 1995. p. 287\u201396.","DOI":"10.1145\/222092.222260"},{"issue":"6","key":"10.1016\/j.compeleceng.2012.07.003_b0110","doi-asserted-by":"crossref","first-page":"498","DOI":"10.1016\/j.cose.2011.05.003","article-title":"Rights violation detection in multi-level digital rights management system","volume":"30","author":"Sachan","year":"2011","journal-title":"Comput Security"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0115","doi-asserted-by":"crossref","unstructured":"German DM, Manabe Y, Inoue K. A sentence-matching method for automatic license identification of source code files. In: Proceedings of the 25th IEEE\/ACM international conference on automated software engineering (ASE 2010); 2010. p. 437\u201346.","DOI":"10.1145\/1858996.1859088"},{"key":"10.1016\/j.compeleceng.2012.07.003_b0120","unstructured":"Wheeler DA. Make Your Open Source Software GPL-Compatible. Or Else (online). ."}],"container-title":["Computers & Electrical Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0045790612001280?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0045790612001280?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,3]],"date-time":"2019-07-03T01:27:27Z","timestamp":1562117247000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0045790612001280"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,11]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2012,11]]}},"alternative-id":["S0045790612001280"],"URL":"https:\/\/doi.org\/10.1016\/j.compeleceng.2012.07.003","relation":{},"ISSN":["0045-7906"],"issn-type":[{"value":"0045-7906","type":"print"}],"subject":[],"published":{"date-parts":[[2012,11]]}}}