{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,13]],"date-time":"2024-11-13T05:35:09Z","timestamp":1731476109330,"version":"3.28.0"},"reference-count":30,"publisher":"Institution of Engineering and Technology (IET)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2007,10,22]]},"DOI":"10.1049\/iet-sen:20070026","type":"journal-article","created":{"date-parts":[[2007,10,19]],"date-time":"2007-10-19T20:46:02Z","timestamp":1192826762000},"page":"206-216","source":"Crossref","is-referenced-by-count":0,"title":["Language-based access control approach for component-based software applications"],"prefix":"10.1049","volume":"1","author":[{"given":"R.","family":"Su","sequence":"first","affiliation":[{"name":"System Architecture and Networking Group (SAN), Department of Mathematics and Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, PO Box 513, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.J.","family":"Lukkien","sequence":"additional","affiliation":[{"name":"System Architecture and Networking Group (SAN), Department of Mathematics and Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, PO Box 513, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.R.V.","family":"Chaudron","sequence":"additional","affiliation":[{"name":"System Architecture and Networking Group (SAN), Department of Mathematics and Computer Science, Eindhoven University of Technology, 5600 MB Eindhoven, PO Box 513, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen:20070026_r1","unstructured":"Robocop: robust open component-based software architecture: URL http:\\\\www.hitech-projects.com\\euprojects\\robocop\\deliverables.htm"},{"key":"10.1049\/iet-sen:20070026_r2","unstructured":"Public deliverables of the Space4U project: URL http:\\\\www.hitech-projects.com\\euprojects\\space4u\\deliverables.htm"},{"key":"10.1049\/iet-sen:20070026_r3","first-page":"18","volume":"8","author":"Lampson","year":"1974"},{"key":"10.1049\/iet-sen:20070026_r4","first-page":"265","volume":"10","author":"Lampson","year":"1992"},{"journal-title":"Fifteenth Int. Conf. Concurrency Theory (CONCUR 2004)","year":"2004","author":"Bugliesi","key":"10.1049\/iet-sen:20070026_r5"},{"journal-title":"IEEE Computer Security Foundations Workshop (CSFW)","year":"2002","author":"Gordon","key":"10.1049\/iet-sen:20070026_r6"},{"key":"10.1049\/iet-sen:20070026_r7","first-page":"410","volume":"9","author":"Myers","year":"2000"},{"key":"10.1049\/iet-sen:20070026_r8","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1145\/266741.266772","author":"Didriksen","year":"1997","journal-title":"Proc. 2nd ACM Workshop on Role-based access control"},{"journal-title":"Semantic Web and Policy Workshop, 4th Int. Semantic Web Conf.","year":"2005","author":"Li","key":"10.1049\/iet-sen:20070026_r9"},{"key":"10.1049\/iet-sen:20070026_r10","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"10.1049\/iet-sen:20070026_r11","first-page":"9","volume":"26","author":"Sandhu","year":"1993"},{"key":"10.1049\/iet-sen:20070026_r12","first-page":"38","volume":"29","author":"Sandhu","year":"1996"},{"key":"10.1049\/iet-sen:20070026_r13","unstructured":"Ferraiolo, D.F., Kuhn, D.R., and Chandramouli, R.: \u2018Role based access control\u2019, (Artech House 2003)"},{"key":"10.1049\/iet-sen:20070026_r14","first-page":"159","volume":"10","author":"Spinellis","year":"2002"},{"key":"10.1049\/iet-sen:20070026_r15","first-page":"71","volume":"10","author":"Eckmann","year":"2002"},{"key":"10.1049\/iet-sen:20070026_r16","doi-asserted-by":"publisher","DOI":"10.1145\/382912.382913"},{"key":"10.1049\/iet-sen:20070026_r17","first-page":"30","volume":"3","author":"Schneider","year":"2000"},{"key":"10.1049\/iet-sen:20070026_r18","doi-asserted-by":"crossref","unstructured":"Inverardi, P., and Mostarda, L.: \u2018A distributed intrusion detection approach for security software architecture\u2019, Lecture Notes in Computer Science 3527, (Springer 2005), p. 168\u2013184","DOI":"10.1007\/11494713_12"},{"key":"10.1049\/iet-sen:20070026_r19","doi-asserted-by":"publisher","DOI":"10.1145\/1108906.1108908"},{"key":"10.1049\/iet-sen:20070026_r20","unstructured":"Wonham, W.M.: \u2018Supervisory Control of Discrete-Event Systems\u2019, (Systems Control Group, Dept. of ECE, University of Toronto 2004),http:\/\/www.control.toronto.edu\/cgi-bin\/dldes.cgi,"},{"key":"10.1049\/iet-sen:20070026_r21","doi-asserted-by":"publisher","DOI":"10.1137\/0325036"},{"key":"10.1049\/iet-sen:20070026_r22","first-page":"292","volume":"19","author":"Yellin","year":"1997"},{"key":"10.1049\/iet-sen:20070026_r23","doi-asserted-by":"crossref","unstructured":"Inverardi, P., and Tivoli, M.: \u2018Software architecture for correct components assembly\u2019, in Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture, LNCS 2804 2003), p. 92\u2013121","DOI":"10.1007\/978-3-540-39800-4_6"},{"key":"10.1049\/iet-sen:20070026_r24","first-page":"77","volume":"12","author":"Tivoli","year":"2006"},{"key":"10.1049\/iet-sen:20070026_r25","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"10.1049\/iet-sen:20070026_r26","first-page":"36","author":"Kupferman","year":"1997","journal-title":"Proc. 9th Int. Conf. Computer Aided Verification LNCS 1254"},{"key":"10.1049\/iet-sen:20070026_r27","unstructured":"Clarke, E.M., Grumberg, O., and Peled, D.A.: \u2018Model checking\u2019, (MIT Press, Cambridge London, MA, England"},{"key":"10.1049\/iet-sen:20070026_r28","doi-asserted-by":"crossref","unstructured":"Mantel, H.: \u2018Information flow control and applications \u2013 bridging a gap\u2019, FME 2001, LNCS 2021 2001), p. 153\u2013172","DOI":"10.1007\/3-540-45251-6_9"},{"key":"10.1049\/iet-sen:20070026_r29","first-page":"38","author":"Edjlali","year":"1998","journal-title":"ACM Conf. Comput. Communications Security"},{"key":"10.1049\/iet-sen:20070026_r30","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-540-30569-9_2","author":"Banerjee","year":"2005","journal-title":"In Proc. Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart Cards (CASSIS)"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen_20070026?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:17:58Z","timestamp":1731435478000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen%3A20070026"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,22]]},"references-count":30,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2007,10,22]]}},"alternative-id":["10.1049\/iet-sen:20070026"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen:20070026","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2007,10,22]]}}}