{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:29:50Z","timestamp":1742390990031},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/hpcs.2010.5547125","type":"proceedings-article","created":{"date-parts":[[2010,8,18]],"date-time":"2010-08-18T14:21:20Z","timestamp":1282141280000},"page":"283-290","source":"Crossref","is-referenced-by-count":3,"title":["Semantic model checking security requirements for web services"],"prefix":"10.1109","author":[{"given":"L.","family":"Boaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Glorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F.","family":"Pagliarecci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"L.","family":"Spalazzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2008.14"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050046"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1035167.1035185"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CW.2002.1180904"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/WI.2007.49"},{"key":"ref16","article-title":"Semantic Annotation for Web Service Processes in a Pervasive Computing","author":"dipietro","year":"2009","journal-title":"Pervasive Computing Innovations in Intelligent Multimedia and Applications"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.10.003"},{"journal-title":"Business process execution language for Web services (version 1 1)","year":"2003","author":"andrews","key":"ref18"},{"journal-title":"OWL-S Semantic Markup for Web Services","year":"2003","author":"coalition","key":"ref19"},{"key":"ref4","article-title":"A minimalist approach to semantic annotations for web processes compo-sitions","author":"pistore","year":"2006","journal-title":"Proc of the 3rd European Semantic Web Conference (ESWC 2006) Budva (Montenegro) 11–14 June"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1983.1056650"},{"key":"ref3","first-page":"605","article-title":"Semantic web service selection at the process-level: The ebay\/amazon\/paypal case study","author":"dipietro","year":"2008","journal-title":"Web Intelligence"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICDEW.2007.4401057"},{"journal-title":"The Description Logic Handbook Theory Implementation and Applications","year":"2003","author":"baader","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2009.10"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89704-0_37"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2008.49"},{"key":"ref9","article-title":"Automated Composition of Semantic Web Services into Executable Processes","author":"traverso","year":"2004","journal-title":"Proc ISWC'04"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806125"},{"key":"ref20","article-title":"Web Service Modeling Ontology (WSMO)","author":"lausen","year":"2005","journal-title":"W3C Member Submission"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/773153.773154"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/511455.511457"},{"key":"ref24","article-title":"Assertions and Protocol for the OASIS Security Assertion Markup Language (SAML)","author":"maler","year":"2003","journal-title":"OASIS Tech Rep v1 1"},{"key":"ref23","article-title":"Automatic composition of E-Services that export their behaviour","author":"berardi","year":"2003","journal-title":"Proc ICS'03"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2007.03.004"},{"key":"ref25","article-title":"Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics","author":"ortiz","year":"2006","journal-title":"AAAI"}],"event":{"name":"Simulation (HPCS)","start":{"date-parts":[[2010,6,28]]},"location":"Caen, France","end":{"date-parts":[[2010,7,2]]}},"container-title":["2010 International Conference on High Performance Computing & Simulation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5538704\/5547051\/05547125.pdf?arnumber=5547125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:26:56Z","timestamp":1489886816000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5547125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/hpcs.2010.5547125","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}