{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:12:03Z","timestamp":1729627923482,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/crisis.2011.6061840","type":"proceedings-article","created":{"date-parts":[[2011,11,1]],"date-time":"2011-11-01T20:59:49Z","timestamp":1320181189000},"page":"1-10","source":"Crossref","is-referenced-by-count":0,"title":["A hierarchy of knowledge for the formal analysis of security-sensitive business processes"],"prefix":"10.1109","author":[{"given":"Simone","family":"Marchesini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Vigano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/s11761-010-0073-4"},{"year":"2008","journal-title":"AVANTSSAR Deliverable 5 1 Problem cases and their trust and security requirements","key":"ref3"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1145\/1133058.1133079"},{"year":"2006","journal-title":"OMG Consortium Business Process Modeling Notation (BPMN)","key":"ref6"},{"year":"0","author":"christensen","journal-title":"Web Services Description Language (WSDL) 1 1","key":"ref5"},{"year":"2007","author":"schaad","journal-title":"A Workflow-based Model-checking Approach to Inter-and Intra-analysis of Organisational Controls in Service-oriented Business Processes","key":"ref11"},{"year":"1995","author":"kuhn","journal-title":"Role-Based Access Control (RBAC) Features and Motivations","key":"ref8"},{"key":"ref12","article-title":"Introduction to BPMN","author":"white","year":"2006","journal-title":"IBM"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1142351.1142364"},{"key":"ref2","first-page":"66","article-title":"Model checking of security-sensitive business processes","author":"armando","year":"0","journal-title":"Proc FAST LNCS 5983"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/2.485845","article-title":"Role-based access control models","volume":"29","author":"sandhu","year":"1996","journal-title":"IEEE Computer"},{"key":"ref1","article-title":"Web Services Business Description Language","author":"alves","year":"2007","journal-title":"Version 2 0"}],"event":{"name":"2011 6th International Conference on Risks and Security of Internet and Systems (CRiSIS)","start":{"date-parts":[[2011,9,26]]},"location":"Timisoara, Romania","end":{"date-parts":[[2011,9,28]]}},"container-title":["2011 6th International Conference on Risks and Security of Internet and Systems (CRiSIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6051620\/6061543\/06061840.pdf?arnumber=6061840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T08:56:11Z","timestamp":1497948971000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6061840\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/crisis.2011.6061840","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}