{"id":"https://openalex.org/W2061706289","doi":"https://doi.org/10.1109/cts.2012.6261087","title":"An environmental paradigm for defending security protocols","display_name":"An environmental paradigm for defending security protocols","publication_year":2012,"publication_date":"2012-05-01","ids":{"openalex":"https://openalex.org/W2061706289","doi":"https://doi.org/10.1109/cts.2012.6261087","mag":"2061706289"},"language":"en","primary_location":{"id":"doi:10.1109/cts.2012.6261087","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cts.2012.6261087","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 International Conference on Collaboration Technologies and Systems (CTS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042195341","display_name":"Maria-Camilla Fiazza","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":"Maria-Camilla Fiazza","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038919892","display_name":"Michele Peroli","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 Peroli","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"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 Vigano","raw_affiliation_strings":["Department of Computer Science, University of Verona, Italy","Department of Computer Science, Univ. of Verona, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science, Univ. of Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"3","issue":null,"first_page":"427","last_page":"438"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9994000196456909,"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/T11800","display_name":"User Authentication and Security Systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10927","display_name":"Access Control and Trust","score":0.9726999998092651,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7452706098556519},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.6601242423057556},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6564567685127258},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5724107027053833},{"id":"https://openalex.org/keywords/paradigm-shift","display_name":"Paradigm shift","score":0.5036582350730896},{"id":"https://openalex.org/keywords/mechanism","display_name":"Mechanism (biology)","score":0.4845089316368103},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.45658108592033386},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4117533564567566},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.1457139253616333},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09584879875183105}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7452706098556519},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.6601242423057556},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6564567685127258},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5724107027053833},{"id":"https://openalex.org/C43540301","wikidata":"https://www.wikidata.org/wiki/Q689971","display_name":"Paradigm shift","level":2,"score":0.5036582350730896},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.4845089316368103},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.45658108592033386},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4117533564567566},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.1457139253616333},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09584879875183105},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cts.2012.6261087","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cts.2012.6261087","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 International Conference on Collaboration Technologies and Systems (CTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W560070107","https://openalex.org/W1761957453","https://openalex.org/W1836114257","https://openalex.org/W2024006228","https://openalex.org/W2029693536","https://openalex.org/W2046147156","https://openalex.org/W2064907273","https://openalex.org/W2098530349","https://openalex.org/W2119967392","https://openalex.org/W2128844732","https://openalex.org/W2155185983","https://openalex.org/W2158869539","https://openalex.org/W6637950613","https://openalex.org/W6683031152"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2366107444","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W4239401009","https://openalex.org/W2053441600","https://openalex.org/W1990401748","https://openalex.org/W2030263215"],"abstract_inverted_index":{"In":[0,49],"scenarios":[1],"with":[2,63],"multiple":[3],"non-collaborating":[4],"attackers,":[5],"interference":[6,62],"between":[7],"simultaneous":[8],"attack":[9],"procedures":[10],"can":[11,38,120],"emerge.":[12],"Interference":[13],"has":[14],"a":[15,54,84,91,98],"wide":[16],"range":[17],"of":[18,25,33,61,88,97,106,117],"consequences:":[19],"it":[20,28,37,103],"demands":[21],"network":[22,35],"models":[23],"capable":[24],"supporting":[26],"concurrence,":[27],"marks":[29],"an":[30],"unexpected":[31],"complexity":[32],"the":[34,59,94,114,125],"environment,":[36],"be":[39,121],"exploited":[40],"to":[41,57,65],"construct":[42],"partial":[43],"defenses":[44,68,119],"for":[45,69,93],"vulnerable":[46,70],"security":[47],"protocols.":[48,71],"this":[50],"paper,":[51],"we":[52,111],"describe":[53],"paradigm":[55],"shift":[56],"support":[58],"investigation":[60],"applications":[64],"constructing":[66,118],"executable":[67],"We":[72],"recruit":[73],"tools":[74],"from":[75],"fields,":[76],"such":[77],"as":[78],"AI":[79],"and":[80,101],"robotics,":[81],"that":[82],"have":[83],"suitably":[85],"complex":[86],"notion":[87],"agent,":[89],"introduce":[90],"mechanism":[92],"controlled":[95],"execution":[96],"protocol":[99],"run":[100],"formalize":[102],"in":[104],"terms":[105],"labeled":[107],"transition":[108],"systems.":[109],"Finally,":[110],"show":[112],"how":[113],"general":[115],"problem":[116],"addressed":[122],"systematically":[123],"within":[124],"paradigm.":[126]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}