{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:40:25Z","timestamp":1730295625876,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sesena.2012.6225728","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:23:19Z","timestamp":1341854599000},"page":"15-21","source":"Crossref","is-referenced-by-count":3,"title":["Formal analysis of policies in wireless sensor network applications"],"prefix":"10.1109","author":[{"given":"Marco","family":"Patrignani","sequence":"first","affiliation":[]},{"given":"Nelson","family":"Matthys","sequence":"additional","affiliation":[]},{"given":"Jose","family":"Proenca","sequence":"additional","affiliation":[]},{"given":"Danny","family":"Hughes","sequence":"additional","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_8"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.16"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1809111.1809122"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/570748.570752"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02652-2_19"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24559-6_26"},{"key":"11","first-page":"103","article-title":"A survey of modeling techniques for wireless sensor networks","author":"jacoub","year":"2011","journal-title":"SENSORCOMM 2011"},{"journal-title":"System Models in Wireless Sensor Networks","year":"2008","author":"stanley-marbell","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2009.03.090301"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s10776-007-0057-2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182822"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.824414"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.05.010"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.10.023"},{"key":"5","article-title":"Policy-driven tailoring of sensor networks","volume":"51","author":"matthys","year":"2010","journal-title":"LNICS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2012.17"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1021"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-5292-1"}],"event":{"name":"2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,2]]}},"container-title":["2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6219098\/6225724\/06225728.pdf?arnumber=6225728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T16:08:06Z","timestamp":1490112486000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6225728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/sesena.2012.6225728","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}