{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:06:49Z","timestamp":1742634409701,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/aiccsa.2008.4493599","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T17:37:07Z","timestamp":1209404227000},"page":"652-660","source":"Crossref","is-referenced-by-count":5,"title":["Formal digital license language with OTS\/CafeOBJ method"],"prefix":"10.1109","author":[{"family":"Jianwen Xiang","sequence":"first","affiliation":[]},{"family":"Dines Bjorner","sequence":"additional","affiliation":[]},{"family":"Kokichi Futatsugi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4222-2"},{"year":"0","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"year":"0","key":"15"},{"journal-title":"M -W Inc Merriam wehster","year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1990.113765"},{"key":"14","article-title":"towaids a formal semantics for odrl","author":"holzer","year":"2004","journal-title":"Proc of the First International ODRL Workshop"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2001.927271"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2004.1310745"},{"key":"21","first-page":"170","article-title":"proof scores in the ots\/cafeobj method","volume":"2884","author":"ogata","year":"2003","journal-title":"LNCS"},{"key":"20","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-540-44993-5_9","article-title":"implementing copyright limitations in rights expression languages","volume":"2696","author":"mulligan","year":"2002","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Temporal Logic for Real-Time Systems","year":"1989","author":"ostroff","key":"22"},{"key":"23","first-page":"84","author":"pnueli","year":"1988","journal-title":"Applications of Temporal Logic to the Specification of Real-time Systems"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2002.1021822"},{"key":"25","article-title":"a formal foundation for odrl","author":"pucella","year":"2004","journal-title":"Proc of the Workshop on Issues in the Theory of Security (WIST'04)"},{"key":"26","first-page":"17","author":"wieringa","year":"1993","journal-title":"Deontic Logic in Computer Science Normative System Specification chapter Applications of deontic logic in computer science A concise overview"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/11786849_9"},{"journal-title":"Software Engineering 3 Domains Requirements and Software Design","year":"2006","author":"bj\ufffdrner","key":"2"},{"journal-title":"Cafe An Industrial-Strength Algebraic Formal Method","year":"2000","author":"futatsugi","key":"10"},{"key":"1","article-title":"a family of license languages","author":"arimoto","year":"2007","journal-title":"Technical Memorandum IS-TM-2007-006"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74835-9_25"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.1997.663191"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.20"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/WDM.2003.1233885"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICFEM.1997.630424"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.73"}],"event":{"name":"2008 IEEE\/ACS International Conference on Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2008,3,31]]},"location":"Doha, Qatar","end":{"date-parts":[[2008,4,4]]}},"container-title":["2008 IEEE\/ACS International Conference on Computer Systems and Applications"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4488216\/4493499\/04493599.pdf?arnumber=4493599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T07:30:57Z","timestamp":1497771057000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4493599\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2008.4493599","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}