{"id":"https://openalex.org/W1782799247","doi":"https://doi.org/10.1007/978-3-642-28756-5_19","title":"The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures","display_name":"The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures","publication_year":2012,"publication_date":"2012-01-01","ids":{"openalex":"https://openalex.org/W1782799247","doi":"https://doi.org/10.1007/978-3-642-28756-5_19","mag":"1782799247"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-28756-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-28756-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-28756-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-28756-5_19.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039827178","display_name":"Alessandro Armando","orcid":"https://orcid.org/0000-0002-5246-2157"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Alessandro Armando","raw_affiliation_strings":["AI-Lab, DIST, Universit\u00e0 di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"AI-Lab, DIST, Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043781447","display_name":"Wihem Arsac","orcid":null},"institutions":[{"id":"https://openalex.org/I4210133526","display_name":"Centre Azur\u00e9en de Canc\u00e9rologie","ror":"https://ror.org/03edm8e08","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210133526"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Wihem Arsac","raw_affiliation_strings":["SAP Research, Mougins, France"],"affiliations":[{"raw_affiliation_string":"SAP Research, Mougins, France","institution_ids":["https://openalex.org/I4210133526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027816274","display_name":"Tigran Avanesov","orcid":null},"institutions":[{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tigran Avanesov","raw_affiliation_strings":["LORIA & INRIA Nancy Grand Est, France"],"affiliations":[{"raw_affiliation_string":"LORIA & INRIA Nancy Grand Est, France","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038763902","display_name":"Michele Barletta","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Barletta","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110622154","display_name":"Alberto Calvi","orcid":null},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Calvi","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038017682","display_name":"Alessandro Cappai","orcid":null},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Cappai","raw_affiliation_strings":["AI-Lab, DIST, Universit\u00e0 di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"AI-Lab, DIST, Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002818742","display_name":"Roberto Carbone","orcid":"https://orcid.org/0000-0003-2853-4269"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Carbone","raw_affiliation_strings":["AI-Lab, DIST, Universit\u00e0 di Genova, Italy"],"affiliations":[{"raw_affiliation_string":"AI-Lab, DIST, Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076479770","display_name":"Yannick Chevalier","orcid":"https://orcid.org/0000-0002-8617-4209"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Yannick Chevalier","raw_affiliation_strings":["IRIT, Universit\u00e9 Paul Sabatier, France"],"affiliations":[{"raw_affiliation_string":"IRIT, Universit\u00e9 Paul Sabatier, France","institution_ids":["https://openalex.org/I134560555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071893704","display_name":"Luca Compagna","orcid":"https://orcid.org/0009-0003-1072-4352"},"institutions":[{"id":"https://openalex.org/I4210133526","display_name":"Centre Azur\u00e9en de Canc\u00e9rologie","ror":"https://ror.org/03edm8e08","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210133526"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luca Compagna","raw_affiliation_strings":["SAP Research, Mougins, France"],"affiliations":[{"raw_affiliation_string":"SAP Research, Mougins, France","institution_ids":["https://openalex.org/I4210133526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050142189","display_name":"Jorge Cu\u00e9llar","orcid":"https://orcid.org/0000-0002-2364-359X"},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jorge Cu\u00e9llar","raw_affiliation_strings":["Siemens AG, Corporate Technology, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Siemens AG, Corporate Technology, Munich, Germany","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031692667","display_name":"Gabriel Erzse","orcid":null},"institutions":[{"id":"https://openalex.org/I4210137719","display_name":"Institute e-Austria Timisoara","ror":"https://ror.org/03r6neh61","country_code":"RO","type":"facility","lineage":["https://openalex.org/I4210137719"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Gabriel Erzse","raw_affiliation_strings":["Institute e-Austria and Politehnica University, Timi\u015foara, Romania"],"affiliations":[{"raw_affiliation_string":"Institute e-Austria and Politehnica University, Timi\u015foara, Romania","institution_ids":["https://openalex.org/I4210137719"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021807258","display_name":"Simone Frau","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Simone Frau","raw_affiliation_strings":["Institute of Information Security, ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute of Information Security, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102793594","display_name":"Marius Minea","orcid":"https://orcid.org/0009-0004-4501-9925"},"institutions":[{"id":"https://openalex.org/I4210137719","display_name":"Institute e-Austria Timisoara","ror":"https://ror.org/03r6neh61","country_code":"RO","type":"facility","lineage":["https://openalex.org/I4210137719"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Marius Minea","raw_affiliation_strings":["Institute e-Austria and Politehnica University, Timi\u015foara, Romania"],"affiliations":[{"raw_affiliation_string":"Institute e-Austria and Politehnica University, Timi\u015foara, Romania","institution_ids":["https://openalex.org/I4210137719"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041754592","display_name":"Sebastian M\u00f6dersheim","orcid":"https://orcid.org/0000-0002-6901-8319"},"institutions":[{"id":"https://openalex.org/I4210126328","display_name":"IBM Research - Zurich","ror":"https://ror.org/02js37d36","country_code":"CH","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210126328"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Sebastian M\u00f6dersheim","raw_affiliation_strings":["DTU, Lyngby, Denmark","IBM Zurich Research Laboratory, Switzerland"],"affiliations":[{"raw_affiliation_string":"DTU, Lyngby, Denmark","institution_ids":[]},{"raw_affiliation_string":"IBM Zurich Research Laboratory, Switzerland","institution_ids":["https://openalex.org/I4210126328"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109864764","display_name":"David von Oheimb","orcid":null},"institutions":[{"id":"https://openalex.org/I1325886976","display_name":"Siemens (Germany)","ror":"https://ror.org/059mq0909","country_code":"DE","type":"company","lineage":["https://openalex.org/I1325886976"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David von Oheimb","raw_affiliation_strings":["Siemens AG, Corporate Technology, Munich, Germany"],"affiliations":[{"raw_affiliation_string":"Siemens AG, Corporate Technology, Munich, Germany","institution_ids":["https://openalex.org/I1325886976"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087556256","display_name":"Giancarlo Pellegrino","orcid":"https://orcid.org/0009-0007-6223-8945"},"institutions":[{"id":"https://openalex.org/I4210133526","display_name":"Centre Azur\u00e9en de Canc\u00e9rologie","ror":"https://ror.org/03edm8e08","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210133526"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Giancarlo Pellegrino","raw_affiliation_strings":["SAP Research, Mougins, France"],"affiliations":[{"raw_affiliation_string":"SAP Research, Mougins, France","institution_ids":["https://openalex.org/I4210133526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035492762","display_name":"Serena Elisa Ponta","orcid":"https://orcid.org/0000-0002-6208-4743"},"institutions":[{"id":"https://openalex.org/I83816512","display_name":"University of Genoa","ror":"https://ror.org/0107c5v14","country_code":"IT","type":"education","lineage":["https://openalex.org/I83816512"]},{"id":"https://openalex.org/I4210133526","display_name":"Centre Azur\u00e9en de Canc\u00e9rologie","ror":"https://ror.org/03edm8e08","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210133526"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Serena Elisa Ponta","raw_affiliation_strings":["AI-Lab, DIST, Universit\u00e0 di Genova, Italy","SAP Research, Mougins, France"],"affiliations":[{"raw_affiliation_string":"AI-Lab, DIST, Universit\u00e0 di Genova, Italy","institution_ids":["https://openalex.org/I83816512"]},{"raw_affiliation_string":"SAP Research, Mougins, France","institution_ids":["https://openalex.org/I4210133526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034051136","display_name":"Marco Rocchetto","orcid":"https://orcid.org/0000-0003-0455-1726"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Rocchetto","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109895336","display_name":"Micha\u00ebl Rusinowitch","orcid":null},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Michael Rusinowitch","raw_affiliation_strings":["LORIA & INRIA Nancy Grand Est, France"],"affiliations":[{"raw_affiliation_string":"LORIA & INRIA Nancy Grand Est, France","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112807617","display_name":"Mohammad Torabi Dashti","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Mohammad Torabi Dashti","raw_affiliation_strings":["Institute of Information Security, ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute of Information Security, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084531640","display_name":"Mathieu Turuani","orcid":null},"institutions":[{"id":"https://openalex.org/I4210121838","display_name":"Laboratoire Lorrain de Recherche en Informatique et ses Applications","ror":"https://ror.org/02vnf0c38","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I277688954","https://openalex.org/I4210107720","https://openalex.org/I4210121838","https://openalex.org/I4210159245","https://openalex.org/I90183372"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210127166","display_name":"Centre Inria de l'Universit\u00e9 de Lorraine","ror":"https://ror.org/03fcjvn64","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210127166"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mathieu Turuani","raw_affiliation_strings":["LORIA & INRIA Nancy Grand Est, France"],"affiliations":[{"raw_affiliation_string":"LORIA & INRIA Nancy Grand Est, France","institution_ids":["https://openalex.org/I4210127166","https://openalex.org/I1326498283","https://openalex.org/I4210121838"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101515402","display_name":"Luca Vigan\u00f2","orcid":"https://orcid.org/0000-0001-9916-271X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":22,"corresponding_author_ids":["https://openalex.org/A5039827178"],"corresponding_institution_ids":["https://openalex.org/I83816512"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":98.8676,"has_fulltext":true,"cited_by_count":96,"citation_normalized_percentile":{"value":0.99938259,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"267","last_page":"282"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.995199978351593,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9871000051498413,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9796000123023987,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8826634883880615},{"id":"https://openalex.org/keywords/single-sign-on","display_name":"Single sign-on","score":0.6008625626564026},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5880458950996399},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.5824052095413208},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.566541314125061},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.44130077958106995},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.42961376905441284},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4154781997203827},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.30750441551208496},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2870652675628662},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2542901039123535}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8826634883880615},{"id":"https://openalex.org/C2776362682","wikidata":"https://www.wikidata.org/wiki/Q568494","display_name":"Single sign-on","level":3,"score":0.6008625626564026},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5880458950996399},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.5824052095413208},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.566541314125061},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.44130077958106995},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42961376905441284},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4154781997203827},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.30750441551208496},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2870652675628662},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2542901039123535},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1007/978-3-642-28756-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-28756-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-28756-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:HAL:hal-00759725v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00759725","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Mar 2012, Tallinn, Estonia. pp.267-282, ⟨10.1007/978-3-642-28756-5_19⟩","raw_type":"Conference papers"},{"id":"pmh:oai:iris.unige.it:11567/387669","is_oa":false,"landing_page_url":"http://hdl.handle.net/11567/387669","pdf_url":null,"source":{"id":"https://openalex.org/S4377196291","display_name":"CINECA IRIS Institutial Research Information System (University of Genoa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83816512","host_organization_name":"University of Genoa","host_organization_lineage":["https://openalex.org/I83816512"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:orbilu.uni.lu:10993/3841","is_oa":true,"landing_page_url":"http://orbilu.uni.lu/handle/10993/3841","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-sa","license_id":"https://openalex.org/licenses/cc-by-nc-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of 18th International Conference \"Tools and Algorithms for the Construction and Analysis of Systems\", as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012., 267-282 (2012); 18th International Conference, TACAS 2012,, Tallinn, Estonia [EE], March 24 - April 1, 2012","raw_type":"peer reviewed"},{"id":"pmh:oai:pure.atira.dk:publications/0ec81d2e-644c-44b4-8288-cba8c7e31f56","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/0ec81d2e-644c-44b4-8288-cba8c7e31f56","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Armando , A , Arsac , W , Avanesov , T , Barletta , M , Calvi , A , Cappai , A , Carbone , R , Chevalier , Y , Compagna , L , Cue\u0301llar , J , Erzse , G , Frau , S , Minea , M , M\u00f6dersheim , S A , Von Oheimb , D , Pellegrino , G , Ponta , S E , Rocchetto , M , Rusinowitch , M , Torabi Dashti , M , Turuani , M & Vigano\u0300 , L 2012 , The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures . in Tools and Algorithms for the Construction and Analysis of Systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 \u2013 April 1, 2012. Proceedings . Springer , Lecture Notes in Computer Science , vol. 7214 , pp. 267-282 , 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012) , Tallinn , Estonia , 24/03/2012 . https://doi.org/10.1007/978-3-642-28756-5_19","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"doi:10.1007/978-3-642-28756-5_19","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-642-28756-5_19","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-28756-5_19.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.41999998688697815,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1782799247.pdf","grobid_xml":"https://content.openalex.org/works/W1782799247.grobid-xml"},"referenced_works_count":41,"referenced_works":["https://openalex.org/W161171551","https://openalex.org/W174979378","https://openalex.org/W1493944547","https://openalex.org/W1500729377","https://openalex.org/W1515715680","https://openalex.org/W1538122200","https://openalex.org/W1541087836","https://openalex.org/W1565540613","https://openalex.org/W1569470862","https://openalex.org/W1571999050","https://openalex.org/W1589756554","https://openalex.org/W1598111807","https://openalex.org/W1603255212","https://openalex.org/W1615494382","https://openalex.org/W1795549172","https://openalex.org/W1797632971","https://openalex.org/W1967762279","https://openalex.org/W1968164101","https://openalex.org/W2022738481","https://openalex.org/W2029693536","https://openalex.org/W2070299493","https://openalex.org/W2096217661","https://openalex.org/W2103824768","https://openalex.org/W2114189125","https://openalex.org/W2117064875","https://openalex.org/W2121262961","https://openalex.org/W2121845793","https://openalex.org/W2125615781","https://openalex.org/W2131807903","https://openalex.org/W2132477736","https://openalex.org/W2132544882","https://openalex.org/W2134732832","https://openalex.org/W2147201643","https://openalex.org/W2153074919","https://openalex.org/W2162325770","https://openalex.org/W2164226682","https://openalex.org/W2499957903","https://openalex.org/W2604845086","https://openalex.org/W2732635930","https://openalex.org/W4236524236","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2213995339","https://openalex.org/W4237493117","https://openalex.org/W2809905916","https://openalex.org/W4408880355","https://openalex.org/W4231540918","https://openalex.org/W2388000644","https://openalex.org/W2005308538","https://openalex.org/W2076312449","https://openalex.org/W2383992966","https://openalex.org/W2366168823"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":9},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":15},{"year":2013,"cited_by_count":11},{"year":2012,"cited_by_count":9}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}