{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T05:08:05Z","timestamp":1748668085240,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1109\/uemcon47517.2019.8992971","type":"proceedings-article","created":{"date-parts":[[2020,2,14]],"date-time":"2020-02-14T08:36:46Z","timestamp":1581669406000},"page":"0653-0659","source":"Crossref","is-referenced-by-count":1,"title":["Assurance for CyberSecurity with Assume-Guarantee Reasoning"],"prefix":"10.1109","author":[{"given":"Ali","family":"Alfageeh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddhartha","family":"Bhattacharyya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Perl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Milankumar","family":"Patel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s12204-013-1439-5"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_2"},{"key":"ref12","article-title":"Swrl: A semantic web rule language combining owl and ruleml","volume":"21","author":"ian","year":"2004","journal-title":"W3C Member Submission"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","article-title":"From shiq and rdf to owl: The making of a web ontology language","volume":"1","author":"ian","year":"2003","journal-title":"Web Semantics Science Services and Agents on the World Wide Web"},{"journal-title":"Writing Secure Code","year":"2003","author":"michael","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35612-9_9"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2757001.2757003"},{"journal-title":"Ontology Development 101 A Guide to Creating Your First Ontology","year":"2001","author":"natalya","key":"ref17"},{"key":"ref18","article-title":"Writing rules for the semantic web using swrl and jess","author":"oconnor","year":"2005","journal-title":"Protégé With Rules WS Madrid"},{"key":"ref19","article-title":"A target-centric ontology for intrusion detection","author":"pinkston","year":"0","journal-title":"Proc IJCAI 03 Workshop Ontologies and Distributed Systems"},{"key":"ref28","first-page":"738","article-title":"Behavior ontology: A framework to detect attack patterns for security","author":"woo","year":"0","journal-title":"2013 27th International Conference on Advanced Information Networking and Applications Workshops"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48285-7_20"},{"journal-title":"Beyondcorp A new approach to enterprise security","year":"2014","author":"ward","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1993.0025"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/74850.74852"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2005.1470831"},{"journal-title":"The transport layer security (tls) protocol version 1 2 Technical report","year":"2008","author":"dierks","key":"ref8"},{"key":"ref7","article-title":"An ontology for insider threat indicators development and applications","author":"daniel","year":"2014","journal-title":"Technical report CMU Pittsburg PA Software Engineering Institute"},{"journal-title":"Mitigating the Effects of Selfish Behavior in Mobile Ad Hoc Networks Using Reputation-aware Routing","year":"2013","author":"taha","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04840-1_10"},{"journal-title":"Available from MITRE CVE-ID CVE-2017–12865","article-title":"CVE-2014–0160","year":"2013","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/382296.382703"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.80.1"},{"key":"ref21","first-page":"738","article-title":"Verification of quasi-synchronous systems with uppaal","author":"yuang","year":"0","journal-title":"Digital Avionics Systems Conference"},{"key":"ref24","first-page":"251","article-title":"An overview of world wide web protocol (hypertext transfer protocol and hypertext transfer protocol secure)","volume":"3","author":"rajinder singh","year":"2013","journal-title":"Int J Adv Res Comput Sci Softw Eng"},{"journal-title":"Common Sense Guide to Mitigating Insider Threats","year":"2012","author":"george","key":"ref23"},{"key":"ref26","article-title":"A framework for characterization of insider computer misuse","author":"tuglular","year":"1997","journal-title":"Unpublished paper Purdue University"},{"key":"ref25","article-title":"Uco: A unified cybersecurity ontology","author":"syed","year":"0","journal-title":"Workshops at the Thirtieth AAAI Conference on Artificial Intelligence"}],"event":{"name":"2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)","start":{"date-parts":[[2019,10,10]]},"location":"New York City, NY, USA","end":{"date-parts":[[2019,10,12]]}},"container-title":["2019 IEEE 10th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8966519\/8992916\/08992971.pdf?arnumber=8992971","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:23:09Z","timestamp":1658262189000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8992971\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/uemcon47517.2019.8992971","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}