{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T04:01:18Z","timestamp":1751774478659,"version":"3.41.0"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319917634"},{"type":"electronic","value":"9783319917641"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-91764-1_13","type":"book-chapter","created":{"date-parts":[[2018,6,15]],"date-time":"2018-06-15T09:45:50Z","timestamp":1529055950000},"page":"161-173","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Checking and Enforcing Security Through Opacity in Healthcare Applications"],"prefix":"10.1007","author":[{"given":"Rym","family":"Zrelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moez","family":"Yeddes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nejib Ben","family":"Hadj-Alouane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,16]]},"reference":[{"issue":"15","key":"13_CR1","doi-asserted-by":"publisher","first-page":"2787","DOI":"10.1016\/j.comnet.2010.05.010","volume":"54","author":"L Atzori","year":"2010","unstructured":"Atzori, L., Iera, A., Morabito, G.: The internet of things: a survey. Comput. Netw. 54(15), 2787\u20132805 (2010)","journal-title":"Comput. Netw."},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Bonomi, F., Milito, R.A., Zhu, J., Addepalli, S.: Fog computing and its role in the internet of things. In: Proceedings of the First Edition of the MCC Workshop on Mobile Cloud Computing, MCC@SIGCOMM 2012, Helsinki, Finland, August 17, 2012. pp. 13\u201316 (2012). https:\/\/doi.org\/10.1145\/2342509.2342513","DOI":"10.1145\/2342509.2342513"},{"issue":"1","key":"13_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/ijitwe.2015010101","volume":"10","author":"A Bourouis","year":"2015","unstructured":"Bourouis, A., Klai, K., El Touati, Y., Ben Hadj-Alouane, N.: Checking opacity of vulnerable critical systems on-the-fly. Int. J. Inf. Technol. Web Eng. (IJITWE) 10(1), 1\u201330 (2015)","journal-title":"Int. J. Inf. Technol. Web Eng. (IJITWE)"},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"JW Bryans","year":"2008","unstructured":"Bryans, J.W., Koutny, M., Mazar\u00e9, L., Ryan, P.Y.A.: Opacity generalised to tansition systems. Int. J. Inf. Secur. 7, 421\u2013435 (2008)","journal-title":"Int. J. Inf. Secur."},{"key":"13_CR5","unstructured":"Dubreil, J.: Monitoriting and Supervisory Control for Opacity Properties. Ph.D. thesis, University of Rennes 1, November 2009"},{"key":"13_CR6","unstructured":"Falcone, Y., Marchand, H.: Various Notions of Opacity Verified and Enforced at Runtime. Technical report INRIA (2010)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Marchand, H.: Runtime enforcement of K-setp opacity. In: 52nd IEEE Conference of Decision and Control, pp. 7271\u20137278, December 2013","DOI":"10.1109\/CDC.2013.6761043"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1109\/TPDS.2012.97","volume":"24","author":"M Li","year":"2013","unstructured":"Li, M., Yu, S., Zheng, Y., Ren, K., Lou, W.: Scalable and secure sharing of personal health records in cloud computing using attribute-based encryption. IEEE Trans. Parallel Distrib. Syst. 24(1), 131\u2013143 (2013)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"3","key":"13_CR9","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","volume":"47","author":"F Lin","year":"2011","unstructured":"Lin, F.: Opacity of discrete event systems and its applications. Automatica 47(3), 496\u2013503 (2011)","journal-title":"Automatica"},{"issue":"3","key":"13_CR10","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(95)00144-2","volume":"56","author":"G Lowe","year":"1995","unstructured":"Lowe, G.: An attack on the needham-schroeder public-key authentication protocol. Inf. Process. Lett. 56(3), 131\u2013133 (1995)","journal-title":"Inf. Process. Lett."},{"key":"13_CR11","first-page":"35","volume":"1","author":"P Massuthe","year":"2005","unstructured":"Massuthe, P., Reisig, W., Schmidt, K.: An operating guideline approach to the soa. Ann. Math. Comput. Teleinform. 1, 35\u201343 (2005)","journal-title":"Ann. Math. Comput. Teleinform."},{"key":"13_CR12","unstructured":"Mazar\u00e9, L.: Using unification for opacity properties. In: Proceedings of WITS (Workshop on Information Technology and Systems), vol. 4, pp. 165\u2013176 (2004)"},{"key":"13_CR13","unstructured":"World Health Organization: May 2014. http:\/\/www.worldlifeexpectancy.com\/tunisia-coronary-heart-disease, consult\u00e9 le 14\/02\/2017"},{"issue":"5","key":"13_CR14","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/TAC.2011.2170453","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori, A., Hadjicostis, C.N.: Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans. Automat. Contr. 57(5), 1155\u20131165 (2012). https:\/\/doi.org\/10.1109\/TAC.2011.2170453","journal-title":"IEEE Trans. Automat. Contr."},{"key":"13_CR15","doi-asserted-by":"publisher","unstructured":"Yeddes, M.: Enforcing opacity with orwellian observation. In: 13th International Workshop on Discrete Event Systems, WODES 2016, Xi\u2019an, China, 30 May\u20131 June, 2016, pp. 306\u2013312 (2016). https:\/\/doi.org\/10.1109\/WODES.2016.7497864","DOI":"10.1109\/WODES.2016.7497864"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s13174-010-0007-6","volume":"1","author":"Q Zhang","year":"2010","unstructured":"Zhang, Q., Cheng, L., Boutaba, R.: Cloud computing: state-of-the-art and research challenges. J. Internet Serv. Appl. 1(1), 7\u201318 (2010)","journal-title":"J. Internet Serv. Appl."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Zrelli, R., Yeddes, M., Ben Hadj-Alouane, N.: Checking and enforcing security through opacity in healthcare applications (2017)","DOI":"10.1007\/978-3-319-91764-1_13"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing \u2013 ICSOC 2017 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91764-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T04:19:54Z","timestamp":1751689194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-91764-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319917634","9783319917641"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91764-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"16 June 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Malaga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 November 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icsoc.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}