{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T03:32:11Z","timestamp":1730259131403,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102630","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-8","source":"Crossref","is-referenced-by-count":4,"title":["Security Threat Identification and Testing"],"prefix":"10.1109","author":[{"given":"Roberto","family":"Carbone","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Compagna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Annibale","family":"Panichella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Serena Elisa","family":"Ponta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.75"},{"journal-title":"Deliverable 4 3 SPaCIoS Tool (final version)","article-title":"The SPaCIoS Project","year":"2014","key":"ref11"},{"journal-title":"OASIS (2005 April) Security assertion markup language (SAML) v2 0","year":"0","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1456396.1456397"},{"key":"ref14","first-page":"267","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":"TACAS Ser LNCS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.38"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S1353-4858(09)70008-X"},{"key":"ref3","first-page":"21","article-title":"On breaking SAML: Be whoever you want to be","author":"somorovsky","year":"2012","journal-title":"Proceedings of the 21st USENIX Conference on Security Symposium Ser Security'12"},{"key":"ref6","first-page":"69","article-title":"Security mutants for property-based testing","author":"buchler","year":"2011","journal-title":"Proceedings of the 5th International Conference on Tests and Proofs Ser TAP'11"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.27"},{"key":"ref8","article-title":"AUTHSCAN: automatic extraction of web authentication protocols from implementations","author":"bai","year":"2013","journal-title":"20th Annual Network & Distributed System Security Symposium"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30473-6_3"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2012.08.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0269-9"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_3"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102630.pdf?arnumber=7102630","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T18:17:34Z","timestamp":1490379454000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102630\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102630","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}