{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:14:53Z","timestamp":1759133693165,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,3]]},"DOI":"10.1109\/ntms.2014.6814001","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T18:40:53Z","timestamp":1400265653000},"page":"1-4","source":"Crossref","is-referenced-by-count":6,"title":["A Reasoning System for Composition Verification and Security Validation"],"prefix":"10.1109","author":[{"given":"George","family":"Hatzivasilis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ioannis","family":"Papaefstathiou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Charalampos","family":"Manifavas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikos","family":"Papadakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","article-title":"DECKT: Epistemic reasoning for ambient intelligence","volume":"84","author":"patkos","year":"2011","journal-title":"ERCIM News Magazine-Special Theme Intelligent and Congnitive Systems"},{"key":"18","article-title":"Multi-agent distributed epistemic reasoning in ambient intelligence environments","author":"hatzivasilis","year":"2011","journal-title":"Master Thesis University of Crete Computer Science Department Greece Crete Heraklion-Foundation for Research and Technology-Hellas Institute of Computer Science (FORTH-ICS)"},{"key":"15","doi-asserted-by":"crossref","first-page":"423","DOI":"10.3233\/JCS-2005-13304","article-title":"A derivation system and compositional logic for security protocols","volume":"3","author":"datta","year":"2005","journal-title":"Journal of Computer Security IOS Press"},{"year":"2010","author":"muller","journal-title":"Commonsense Reasoning","key":"16"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1145\/146937.146940"},{"key":"14","article-title":"MulVAL: A logicbased network security analyzer","author":"xinming","year":"2005","journal-title":"the 14th Usenix Security Symposium"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1145\/1842752.1842787"},{"key":"12","article-title":"Automated web service composition with the event calculus","author":"aydin","year":"2007","journal-title":"Proceedings of the 8th International Workshop in Engineering Societies in the Agent World (ESAW2007) Athens Greece"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1016\/j.comnet.2004.06.020"},{"doi-asserted-by":"publisher","key":"2","DOI":"10.1109\/SECPRI.2002.1004364"},{"doi-asserted-by":"publisher","key":"1","DOI":"10.1109\/CSFW.1999.779769"},{"doi-asserted-by":"publisher","key":"10","DOI":"10.1007\/978-3-642-36362-7_10"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1007\/s00145-010-9069-7"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1007\/s00145-007-0567-1"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1137\/090755886"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1109\/ECBS.2007.45"},{"key":"9","first-page":"1383","article-title":"Platform modeling and model transformation for analysis","volume":"10","author":"szemethy","year":"2004","journal-title":"Journal of Universal Computer Science"},{"year":"2004","journal-title":"Architecture Analysis &Design Language","key":"8"}],"event":{"name":"2014 6th International Conference on New Technologies, Mobility and Security (NTMS)","start":{"date-parts":[[2014,3,30]]},"location":"Dubai, United Arab Emirates","end":{"date-parts":[[2014,4,2]]}},"container-title":["2014 6th International Conference on New Technologies, Mobility and Security (NTMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6812500\/6813963\/06814001.pdf?arnumber=6814001","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,10]],"date-time":"2019-08-10T11:07:54Z","timestamp":1565435274000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6814001\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ntms.2014.6814001","relation":{},"subject":[],"published":{"date-parts":[[2014,3]]}}}