{"id":"https://openalex.org/W1971803619","doi":"https://doi.org/10.12720/jcm.8.11.795-805","title":"Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool","display_name":"Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1971803619","doi":"https://doi.org/10.12720/jcm.8.11.795-805","mag":"1971803619"},"language":"en","primary_location":{"id":"doi:10.12720/jcm.8.11.795-805","is_oa":false,"landing_page_url":"https://doi.org/10.12720/jcm.8.11.795-805","pdf_url":null,"source":{"id":"https://openalex.org/S184821498","display_name":"Journal of Communications","issn_l":"1796-2021","issn":["1796-2021","2374-4367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4323867253","host_organization_name":"International Communication Association","host_organization_lineage":["https://openalex.org/P4323867253"],"host_organization_lineage_names":["International Communication Association"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Communications","raw_type":"journal-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/A5022546955","display_name":"Anca Delia Jurcut","orcid":"https://orcid.org/0000-0002-2705-1823"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Anca D. Jurcut","raw_affiliation_strings":["University of Limerick"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Limerick","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059822467","display_name":"Tom Coffey","orcid":null},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Tom Coffey","raw_affiliation_strings":["University of Limerick"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Limerick","institution_ids":["https://openalex.org/I230495080"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073987773","display_name":"Reiner Dojen","orcid":"https://orcid.org/0000-0002-2113-5532"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Reiner Dojen","raw_affiliation_strings":["University of Limerick"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Limerick","institution_ids":["https://openalex.org/I230495080"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.1318,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.79770078,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"8","issue":"11","first_page":"795","last_page":"805"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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.9998999834060669,"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.9994999766349792,"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.9866999983787537,"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/computer-science","display_name":"Computer science","score":0.7332483530044556},{"id":"https://openalex.org/keywords/strengths-and-weaknesses","display_name":"Strengths and weaknesses","score":0.5109121203422546},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.46646392345428467},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.43935149908065796},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.1603057086467743},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.05832624435424805}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7332483530044556},{"id":"https://openalex.org/C63882131","wikidata":"https://www.wikidata.org/wiki/Q17122954","display_name":"Strengths and weaknesses","level":2,"score":0.5109121203422546},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.46646392345428467},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.43935149908065796},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.1603057086467743},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.05832624435424805},{"id":"https://openalex.org/C77805123","wikidata":"https://www.wikidata.org/wiki/Q161272","display_name":"Social psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.12720/jcm.8.11.795-805","is_oa":false,"landing_page_url":"https://doi.org/10.12720/jcm.8.11.795-805","pdf_url":null,"source":{"id":"https://openalex.org/S184821498","display_name":"Journal of Communications","issn_l":"1796-2021","issn":["1796-2021","2374-4367"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4323867253","host_organization_name":"International Communication Association","host_organization_lineage":["https://openalex.org/P4323867253"],"host_organization_lineage_names":["International Communication Association"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Communications","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6700000166893005,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W167161564","https://openalex.org/W1528435176","https://openalex.org/W1549411822","https://openalex.org/W1566288460","https://openalex.org/W1569881051","https://openalex.org/W1773609568","https://openalex.org/W1966841760","https://openalex.org/W1969855076","https://openalex.org/W1997596059","https://openalex.org/W2009322068","https://openalex.org/W2010939995","https://openalex.org/W2014123508","https://openalex.org/W2036892464","https://openalex.org/W2048887528","https://openalex.org/W2070207454","https://openalex.org/W2078264993","https://openalex.org/W2083406740","https://openalex.org/W2112225853","https://openalex.org/W2132544882","https://openalex.org/W2136262554","https://openalex.org/W2152286108","https://openalex.org/W2154568476","https://openalex.org/W2168277905","https://openalex.org/W2175137100","https://openalex.org/W3032639674","https://openalex.org/W3162919972","https://openalex.org/W6632731260","https://openalex.org/W6649805601","https://openalex.org/W6676901634","https://openalex.org/W6795129727"],"related_works":["https://openalex.org/W3007967230","https://openalex.org/W2030496847","https://openalex.org/W4313313264","https://openalex.org/W2290846110","https://openalex.org/W1970802040","https://openalex.org/W2400382143","https://openalex.org/W2508276376","https://openalex.org/W1502851386","https://openalex.org/W2397688157","https://openalex.org/W1533109710"],"abstract_inverted_index":{"\uf020":[0],"Abstract\u2014Formal":[1],"verification":[2,41,45,48,58,82,144],"aims":[3],"at":[4],"providing":[5],"a":[6,43,65,94,98,116],"rigid":[7],"and":[8,18,56,97,133,154],"thorough":[9],"means":[10],"of":[11,15,26,39,64,104,145,156],"evaluating":[12],"the":[13,22,37,57,87,122,146,152,157],"correctness":[14,153],"security":[16,71],"protocols":[17,23,72,88],"also":[19],"establishing":[20],"that":[21,28,73,89,108],"are":[24,129],"free":[25],"weaknesses":[27,85],"can":[29,90],"be":[30,91],"exploited":[31,92],"by":[32,62,93],"attacks.":[33],"This":[34],"paper":[35],"discusses":[36],"process":[38,59],"formal":[40],"using":[42,77],"logic\u2013based":[44],"tool.":[46],"The":[47,80,102,124],"tool":[49],"with":[50],"attack":[51,96],"detection":[52],"capabilities":[53],"is":[54,60,107,111,131,141],"introduced,":[55],"demonstrated":[61],"way":[63],"case":[66],"study":[67],"on":[68],"two":[69],"published":[70],"provide":[74],"mutual":[75],"authentication":[76],"smart":[78],"cards.":[79],"performed":[81],"reveals":[83],"new":[84],"in":[86,151],"replay":[95],"parallel":[99],"session":[100],"attack.":[101],"impact":[103],"these":[105,127,139],"attacks":[106,128,140],"an":[109,134],"attacker":[110],"able":[112],"to":[113,120,138],"masquerade":[114],"as":[115],"legitimate":[117],"remote":[118],"user":[119],"cheat":[121],"system.":[123],"reasoning":[125],"why":[126],"possible":[130],"detailed":[132],"amended":[135,147],"protocol,":[136],"resistant":[137],"proposed.":[142],"Formal":[143],"protocol":[148],"provides":[149],"confidence":[150],"effectiveness":[155],"proposed":[158],"modifications.":[159]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2014,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}