{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:10:52Z","timestamp":1729613452720,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/hpcsim.2012.6266956","type":"proceedings-article","created":{"date-parts":[[2012,8,22]],"date-time":"2012-08-22T14:48:48Z","timestamp":1345646928000},"page":"444-447","source":"Crossref","is-referenced-by-count":3,"title":["Automated validation of trust and security of service-oriented architectures with the AVANTSSAR platform"],"prefix":"10.1109","author":[{"given":"Luca","family":"Vigano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"248","article-title":"Integrating automated and interactive protocol verification","volume":"5983","author":"brucker","year":"2009","journal-title":"LNCS"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2003.1212709"},{"journal-title":"TA4SP Tree Automata Based on Automatic Approximations for the Analysis of Security Protocols","year":"2004","author":"boichut","key":"18"},{"key":"15","first-page":"88","article-title":"Verified Reference Implementations of WS-Security Protocols","volume":"4184","author":"bhargavan","year":"2006","journal-title":"LNCS"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2001.930138"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0055-7"},{"key":"14","first-page":"197","article-title":"A Security Tool for Web Services","volume":"3188","author":"bhargavan","year":"2003","journal-title":"LNCS"},{"journal-title":"Deliverable 2 3 ASLan++ Specification and Tutorial","year":"2011","key":"11"},{"journal-title":"AVISPA Automated Validation of Internet Security Protocols and Applications","year":"0","key":"12"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/SERVICES-1.2008.13"},{"key":"20","first-page":"193","article-title":"A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols","author":"chevalier","year":"2004","journal-title":"SAPS"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2006.05.007"},{"key":"23","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-3-642-01918-0_3","article-title":"Synthesis and composition of web services","author":"marconi","year":"2009","journal-title":"Formal Methods for Web Services"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/ARES.2009.95"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1866307.1866348"},{"key":"26","first-page":"337","article-title":"Secure Pseudonymous Channels","volume":"5789","author":"mo?dersheim","year":"2009","journal-title":"LNCS"},{"key":"27","first-page":"166","article-title":"The Open-source Fixed-point Model Checker for Symbolic Analysis of Security Protocols. Fosad 2007-2008-2009","volume":"5705","author":"mo?dersheim","year":"2009","journal-title":"LNCS"},{"key":"28","first-page":"277","article-title":"The CL-Atse Protocol Analyser","volume":"4098","author":"turuani","year":"2006","journal-title":"LNCS"},{"key":"29","first-page":"1","article-title":"ASLan++, a formal security specification language for distributed systems","volume":"6957","author":"von oheimb","year":"2010","journal-title":"LNCS"},{"key":"3","first-page":"281","article-title":"The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications","volume":"3576","author":"armando","year":"2005","journal-title":"LNCS"},{"key":"2","first-page":"267282","article-title":"The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures","volume":"7214","author":"armando","year":"2012","journal-title":"LNCS"},{"journal-title":"Deliverable 2 1 Requirements for Modelling and ASLan V 1","year":"2008","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2011.10"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.11.052"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02002-5_2"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1456396.1456397"},{"key":"5","article-title":"From multiple credentials to browser-based single signon: Are we more secure?","author":"armando","year":"2011","journal-title":"IFIP SEC"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.3166\/jancl.19.403-429"},{"key":"9","first-page":"29","article-title":"Security Validation of Business Processes via Model-checking","volume":"6542","author":"arsac","year":"2011","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1998441.1998463"}],"event":{"name":"2012 International Conference on High Performance Computing & Simulation (HPCS)","start":{"date-parts":[[2012,7,2]]},"location":"Madrid, Spain","end":{"date-parts":[[2012,7,6]]}},"container-title":["2012 International Conference on High Performance Computing & Simulation (HPCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6260982\/6266874\/06266956.pdf?arnumber=6266956","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T23:09:10Z","timestamp":1498000150000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6266956\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/hpcsim.2012.6266956","relation":{},"subject":[],"published":{"date-parts":[[2012,7]]}}}