{"id":"https://openalex.org/W2046551143","doi":"https://doi.org/10.1016/s1571-0661(04)00242-7","title":"Towards an Awareness-Based Semantics for Security Protocol Analysis","display_name":"Towards an Awareness-Based Semantics for Security Protocol Analysis","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W2046551143","doi":"https://doi.org/10.1016/s1571-0661(04)00242-7","mag":"2046551143"},"language":"en","primary_location":{"id":"doi:10.1016/s1571-0661(04)00242-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00242-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1016/s1571-0661(04)00242-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013704088","display_name":"Rafael Accorsi","orcid":"https://orcid.org/0000-0001-5620-561X"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Rafael Accorsi","raw_affiliation_strings":["Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025344654","display_name":"David Basin","orcid":"https://orcid.org/0000-0003-2952-939X"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"David Basin","raw_affiliation_strings":["Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"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/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Luca Vigan\u00f2","raw_affiliation_strings":["Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik Albert-Ludwigs-Universit\u00e4t Freiburg Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Institut f\u00fcr Informatik, Albert-Ludwigs-Universit\u00e4t Freiburg, Georges-K\u00f6hler-Allee 52, D-79110 Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013704088","https://openalex.org/A5025344654","https://openalex.org/A5101515402"],"corresponding_institution_ids":["https://openalex.org/I161046081"],"apc_list":null,"apc_paid":null,"fwci":1.4773,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.8623455,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"55","issue":"1","first_page":"5","last_page":"24"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9987999796867371,"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.9987999796867371,"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.9972000122070312,"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.9902999997138977,"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.7962981462478638},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6217948198318481},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5658543109893799},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5524241924285889},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5432823896408081},{"id":"https://openalex.org/keywords/doxastic-logic","display_name":"Doxastic logic","score":0.46793052554130554},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.43900126218795776},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4055168032646179},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3883221745491028},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2165706753730774},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.133091002702713},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.08703511953353882}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7962981462478638},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6217948198318481},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5658543109893799},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5524241924285889},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5432823896408081},{"id":"https://openalex.org/C68435242","wikidata":"https://www.wikidata.org/wiki/Q669180","display_name":"Doxastic logic","level":2,"score":0.46793052554130554},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.43900126218795776},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4055168032646179},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3883221745491028},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2165706753730774},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.133091002702713},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.08703511953353882},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","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/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1016/s1571-0661(04)00242-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00242-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.17.1219","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.1219","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://wailoa.informatik.uni-freiburg.de/WebBIB/publications/papers/2001/ABV01.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.21.1419","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1419","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://wailoa.informatik.uni-freiburg.de/WebBIB/publications/papers/2001/0_0_ABV01.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.28.5630","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.5630","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-freiburg.de/~accorsi/0_ABV01.ps.gz","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.28.8331","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.8331","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-freiburg.de/~basin/pubs/lacpv01.ps.Z","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1016/s1571-0661(04)00242-7","is_oa":true,"landing_page_url":"https://doi.org/10.1016/s1571-0661(04)00242-7","pdf_url":null,"source":{"id":"https://openalex.org/S50368787","display_name":"Electronic Notes in Theoretical Computer Science","issn_l":"1571-0661","issn":["1571-0661"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Notes in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W200175677","https://openalex.org/W1488103720","https://openalex.org/W1491035119","https://openalex.org/W1538657331","https://openalex.org/W1544787586","https://openalex.org/W1586167239","https://openalex.org/W1600748341","https://openalex.org/W1834151623","https://openalex.org/W1994227541","https://openalex.org/W2010939995","https://openalex.org/W2029693536","https://openalex.org/W2077025369","https://openalex.org/W2102922499","https://openalex.org/W2123503098","https://openalex.org/W2133126578","https://openalex.org/W2145415641","https://openalex.org/W2146819619","https://openalex.org/W2155032609","https://openalex.org/W2169216703","https://openalex.org/W3013607954","https://openalex.org/W3162919972","https://openalex.org/W4210411973","https://openalex.org/W6608090982","https://openalex.org/W6632123914"],"related_works":["https://openalex.org/W2097655064","https://openalex.org/W2282990539","https://openalex.org/W2613405521","https://openalex.org/W2991618286","https://openalex.org/W2023361932","https://openalex.org/W1551108650","https://openalex.org/W2887105535","https://openalex.org/W3003059772","https://openalex.org/W2797113766","https://openalex.org/W2012369158"],"abstract_inverted_index":{"We":[0,22,49],"report":[1],"on":[2,4,147],"work-in-progress":[3],"a":[5,36,83,96,138],"new":[6],"semantics":[7],"for":[8,64,76,164],"analyzing":[9],"security":[10,17,47,170],"protocols":[11,171],"that":[12,140,159],"combines":[13],"complementary":[14],"features":[15],"of":[16,40,54,116,125,135],"logics":[18],"and":[19,78,91,167,172],"inductive":[20,62],"methods.":[21],"use":[23,87],"awareness":[24,88,127,133,148],"to":[25,89,107,152],"model":[26],"the":[27,52,93,100,112,121,132,136],"agents'":[28],"resource-bounded":[29],"reasoning":[30,79,168],"and,":[31],"in":[32,46,144],"doing":[33],"so,":[34],"capture":[35],"more":[37],"appropriate":[38],"notion":[39],"belief":[41],"than":[42],"those":[43],"usually":[44],"considered":[45],"logics.":[48],"also":[50,120],"address":[51],"problem":[53],"modeling":[55],"interleaved":[56],"protocol":[57,65],"executions,":[58],"adapting":[59],"ideas":[60],"from":[61],"methods":[63],"verification.":[66],"The":[67],"result":[68],"is":[69,141,162],"an":[70,126],"intuitive,":[71],"but":[72,119],"expressive,":[73],"doxastic":[74,114],"logic":[75],"formalizing":[77],"about":[80,169],"attacks.":[81],"As":[82],"case":[84],"study,":[85],"we":[86],"characterize,":[90],"demonstrate":[92],"existence":[94],"of,":[95],"man-in-the-middle":[97],"attack":[98,118],"upon":[99],"Needham-Schroeder":[101],"Public":[102],"Key":[103],"protocol.":[104],"This":[105],"is,":[106],"our":[108,160],"knowledge,":[109],"not":[110],"only":[111],"first":[113,122],"analysis":[115],"this":[117],"practical":[123],"application":[124],"logic.":[128],"Even":[129],"though":[130],"defining":[131],"sets":[134],"agents,":[137],"task":[139],"left":[142],"unspecified":[143],"formal":[145],"works":[146],"logics,":[149],"turns":[150],"out":[151],"be":[153],"surprisingly":[154],"subtle,":[155],"initial":[156],"results":[157],"suggest":[158],"approach":[161],"promising":[163],"modeling,":[165],"verifying":[166],"their":[173],"properties.":[174]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}