{"id":"https://openalex.org/W2587436767","doi":"https://doi.org/10.1109/smc.2016.7844255","title":"Formal reasoning on authentication in security protocols","display_name":"Formal reasoning on authentication in security protocols","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2587436767","doi":"https://doi.org/10.1109/smc.2016.7844255","mag":"2587436767"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2016.7844255","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844255","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},"type":"article","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/A5037252341","display_name":"Jaouhar Fattahi","orcid":"https://orcid.org/0000-0002-3905-9099"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jaouhar Fattahi","raw_affiliation_strings":["Computer Science and Software Engineering Department, Laval University, Quebec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Software Engineering Department, Laval University, Quebec, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089512218","display_name":"Mohamed Mejri","orcid":"https://orcid.org/0000-0003-4820-3176"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mohamed Mejri","raw_affiliation_strings":["Computer Science and Software Engineering Department, Laval University, Quebec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science and Software Engineering Department, Laval University, Quebec, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068087634","display_name":"Ridha Ghayoula","orcid":"https://orcid.org/0000-0002-3893-6977"},"institutions":[{"id":"https://openalex.org/I43406934","display_name":"Universit\u00e9 Laval","ror":"https://ror.org/04sjchr03","country_code":"CA","type":"education","lineage":["https://openalex.org/I43406934"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ridha Ghayoula","raw_affiliation_strings":["Electrical and Computer Engineering Department, Laval University, Quebec, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Electrical and Computer Engineering Department, Laval University, Quebec, Canada","institution_ids":["https://openalex.org/I43406934"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076319414","display_name":"Emil Pricop","orcid":"https://orcid.org/0000-0002-4021-6549"},"institutions":[{"id":"https://openalex.org/I4210090220","display_name":"Petroleum & Gas University of Ploie\u015fti","ror":"https://ror.org/00abdnc40","country_code":"RO","type":"education","lineage":["https://openalex.org/I4210090220"]}],"countries":["RO"],"is_corresponding":false,"raw_author_name":"Emil Pricop","raw_affiliation_strings":["Automatic Control, Petroleum-Gas University of Ploiesti, Romania"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automatic Control, Petroleum-Gas University of Ploiesti, Romania","institution_ids":["https://openalex.org/I4210090220"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5909,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75570231,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"2016","issue":null,"first_page":"000282","last_page":"000289"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"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.9997000098228455,"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.9983999729156494,"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/T13999","display_name":"Digital Rights Management and Security","score":0.9556000232696533,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.8341634273529053},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7360905408859253},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6497032046318054},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.6494355201721191},{"id":"https://openalex.org/keywords/lightweight-extensible-authentication-protocol","display_name":"Lightweight Extensible Authentication Protocol","score":0.5825928449630737},{"id":"https://openalex.org/keywords/challenge-handshake-authentication-protocol","display_name":"Challenge-Handshake Authentication Protocol","score":0.5721511244773865},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5232240557670593},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4912640452384949},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.47347915172576904},{"id":"https://openalex.org/keywords/data-authentication-algorithm","display_name":"Data Authentication Algorithm","score":0.44824913144111633},{"id":"https://openalex.org/keywords/challenge\u2013response-authentication","display_name":"Challenge\u2013response authentication","score":0.41503381729125977},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.20695757865905762},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.12297886610031128},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.05302053689956665}],"concepts":[{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.8341634273529053},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7360905408859253},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6497032046318054},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.6494355201721191},{"id":"https://openalex.org/C167169670","wikidata":"https://www.wikidata.org/wiki/Q1824705","display_name":"Lightweight Extensible Authentication Protocol","level":4,"score":0.5825928449630737},{"id":"https://openalex.org/C207828512","wikidata":"https://www.wikidata.org/wiki/Q1060131","display_name":"Challenge-Handshake Authentication Protocol","level":4,"score":0.5721511244773865},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5232240557670593},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4912640452384949},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.47347915172576904},{"id":"https://openalex.org/C168970074","wikidata":"https://www.wikidata.org/wiki/Q5227146","display_name":"Data Authentication Algorithm","level":4,"score":0.44824913144111633},{"id":"https://openalex.org/C131129157","wikidata":"https://www.wikidata.org/wiki/Q1059963","display_name":"Challenge\u2013response authentication","level":4,"score":0.41503381729125977},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.20695757865905762},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.12297886610031128},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.05302053689956665},{"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":2,"locations":[{"id":"doi:10.1109/smc.2016.7844255","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2016.7844255","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","raw_type":"proceedings-article"},{"id":"mag:2746890717","is_oa":false,"landing_page_url":"http://jglobal.jst.go.jp/en/public/201702230975150701","pdf_url":null,"source":{"id":"https://openalex.org/S4306512817","display_name":"IEEE Conference Proceedings","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IEEE Conference Proceedings","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"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":19,"referenced_works":["https://openalex.org/W656475520","https://openalex.org/W1190369259","https://openalex.org/W1542448984","https://openalex.org/W1897128362","https://openalex.org/W1897618420","https://openalex.org/W1933998117","https://openalex.org/W2029693536","https://openalex.org/W2050362288","https://openalex.org/W2066904164","https://openalex.org/W2100569778","https://openalex.org/W2175137100","https://openalex.org/W2399604893","https://openalex.org/W2463913081","https://openalex.org/W2926664228","https://openalex.org/W3098415236","https://openalex.org/W4297746977","https://openalex.org/W6712432342","https://openalex.org/W6748088010","https://openalex.org/W6830935838"],"related_works":["https://openalex.org/W2093798919","https://openalex.org/W2941888532","https://openalex.org/W2314541983","https://openalex.org/W1949088485","https://openalex.org/W2360010141","https://openalex.org/W2374177735","https://openalex.org/W2107692711","https://openalex.org/W2136908128","https://openalex.org/W3096443715","https://openalex.org/W3011316886"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,46,55],"are":[4],"proposing":[5],"a":[6],"new":[7],"formal":[8],"framework":[9],"for":[10,61],"reasoning":[11],"on":[12,18,41],"authentication":[13],"in":[14],"security":[15],"protocols":[16],"based":[17],"analytic":[19],"functions.":[20],"We":[21,37],"give":[22],"sufficient":[23],"conditions":[24],"that,":[25],"if":[26],"satisfied,":[27],"the":[28,42],"protocol":[29],"is":[30,59],"declared":[31],"correct":[32,60],"with":[33],"respect":[34],"to":[35],"authentication.":[36,62],"validate":[38],"our":[39],"approach":[40],"Yahalom-Lowe":[43],"protocol.":[44],"First,":[45],"show":[47],"that":[48,57],"it":[49,58],"satisfies":[50],"these":[51],"few":[52],"conditions,":[53],"thus,":[54],"conclude":[56]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}