{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T02:35:53Z","timestamp":1725417353753},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/icecs.2013.6815362","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T23:05:07Z","timestamp":1400281507000},"page":"100-101","source":"Crossref","is-referenced-by-count":3,"title":["Extended abstract: Theorem proving verification of privacy in WBSN for healthcare systems"],"prefix":"10.1109","author":[{"given":"Hussam M. N. Al","family":"Hamadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Gawanmeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. A.","family":"Al-Qutayri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2009.2037619"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/TITB.2012.2206115"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RBME.2012.2184750"}],"event":{"name":"2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)","start":{"date-parts":[[2013,12,8]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6810206\/6815321\/06815362.pdf?arnumber=6815362","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:05:16Z","timestamp":1490310316000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6815362\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/icecs.2013.6815362","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}