{"id":"https://openalex.org/W2047329037","doi":"https://doi.org/10.1007/s11390-006-0932-9","title":"Verification of Authentication Protocols for Epistemic Goals via SAT Compilation","display_name":"Verification of Authentication Protocols for Epistemic Goals via SAT Compilation","publication_year":2006,"publication_date":"2006-11-01","ids":{"openalex":"https://openalex.org/W2047329037","doi":"https://doi.org/10.1007/s11390-006-0932-9","mag":"2047329037"},"language":"en","primary_location":{"id":"doi:10.1007/s11390-006-0932-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-006-0932-9","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","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/A5037325282","display_name":"Kaile Su","orcid":"https://orcid.org/0000-0001-6741-9699"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]},{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["AU","CN"],"is_corresponding":false,"raw_author_name":"Kai-Le Su","raw_affiliation_strings":["Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, 4111, Australia","Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, Australia","Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","institution_ids":["https://openalex.org/I157773358"]},{"raw_affiliation_string":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, 4111, Australia","institution_ids":["https://openalex.org/I11701301"]},{"raw_affiliation_string":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, Australia","institution_ids":["https://openalex.org/I11701301"]},{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016292021","display_name":"Qingliang Chen","orcid":"https://orcid.org/0000-0001-5849-8268"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]},{"id":"https://openalex.org/I51783024","display_name":"Brandenburg University of Technology Cottbus-Senftenberg","ror":"https://ror.org/02wxx3e24","country_code":"DE","type":"education","lineage":["https://openalex.org/I51783024"]}],"countries":["CN","DE"],"is_corresponding":true,"raw_author_name":"Qing-Liang Chen","raw_affiliation_strings":["Department of Computer Science, Brandenburg University of Technology, Cottbus, 03046, Germany","Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany","Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Brandenburg University of Technology, Cottbus, 03046, Germany","institution_ids":["https://openalex.org/I51783024"]},{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","institution_ids":["https://openalex.org/I157773358"]},{"raw_affiliation_string":"Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany","institution_ids":["https://openalex.org/I51783024"]},{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038675407","display_name":"Abdul Sattar","orcid":"https://orcid.org/0000-0002-2567-2052"},"institutions":[{"id":"https://openalex.org/I11701301","display_name":"Griffith University","ror":"https://ror.org/02sc3r913","country_code":"AU","type":"education","lineage":["https://openalex.org/I11701301"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Abdul Sattar","raw_affiliation_strings":["Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, 4111, Australia","Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, 4111, Australia","institution_ids":["https://openalex.org/I11701301"]},{"raw_affiliation_string":"Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, Australia","institution_ids":["https://openalex.org/I11701301"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091269277","display_name":"Weiya Yue","orcid":null},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei-Ya Yue","raw_affiliation_strings":["Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, 510275, P.R. China","institution_ids":["https://openalex.org/I157773358"]},{"raw_affiliation_string":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070182721","display_name":"Guanfeng Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I37796252","display_name":"Beijing University of Technology","ror":"https://ror.org/037b1pp87","country_code":"CN","type":"education","lineage":["https://openalex.org/I37796252"]},{"id":"https://openalex.org/I92403157","display_name":"University of Science and Technology Beijing","ror":"https://ror.org/02egmk993","country_code":"CN","type":"education","lineage":["https://openalex.org/I92403157"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guan-Feng Lv","raw_affiliation_strings":["College of Computer Science and Technology, Beijing University of Technology, Beijing, 100022, P.R. China","College of Computer Science and Technology, Beijing University of Technology, Beijing, P.R. China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Technology, Beijing University of Technology, Beijing, 100022, P.R. China","institution_ids":["https://openalex.org/I37796252","https://openalex.org/I92403157"]},{"raw_affiliation_string":"College of Computer Science and Technology, Beijing University of Technology, Beijing, P.R. China","institution_ids":["https://openalex.org/I37796252"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102089636","display_name":"Xizhong Zheng","orcid":null},"institutions":[{"id":"https://openalex.org/I51783024","display_name":"Brandenburg University of Technology Cottbus-Senftenberg","ror":"https://ror.org/02wxx3e24","country_code":"DE","type":"education","lineage":["https://openalex.org/I51783024"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Xi-Zhong Zheng","raw_affiliation_strings":["Department of Computer Science, Brandenburg University of Technology, Cottbus, 03046, Germany","Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Brandenburg University of Technology, Cottbus, 03046, Germany","institution_ids":["https://openalex.org/I51783024"]},{"raw_affiliation_string":"Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany","institution_ids":["https://openalex.org/I51783024"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5016292021"],"corresponding_institution_ids":["https://openalex.org/I157773358","https://openalex.org/I51783024"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.17815289,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"21","issue":"6","first_page":"932","last_page":"943"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9976000189781189,"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.9976000189781189,"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/T10142","display_name":"Formal Methods in Verification","score":0.9868999719619751,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9828000068664551,"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.8690509796142578},{"id":"https://openalex.org/keywords/principal","display_name":"Principal (computer security)","score":0.803437352180481},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.732466995716095},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.544479489326477},{"id":"https://openalex.org/keywords/authentication-protocol","display_name":"Authentication protocol","score":0.5420788526535034},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5294399261474609},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5159260034561157},{"id":"https://openalex.org/keywords/authentication","display_name":"Authentication (law)","score":0.4971461594104767},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4829804003238678},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4605153799057007},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.42215076088905334},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4181118607521057},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4013795852661133},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.22514033317565918},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.2181461751461029}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8690509796142578},{"id":"https://openalex.org/C144559511","wikidata":"https://www.wikidata.org/wiki/Q2986279","display_name":"Principal (computer security)","level":2,"score":0.803437352180481},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.732466995716095},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.544479489326477},{"id":"https://openalex.org/C21564112","wikidata":"https://www.wikidata.org/wiki/Q4825885","display_name":"Authentication protocol","level":3,"score":0.5420788526535034},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5294399261474609},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5159260034561157},{"id":"https://openalex.org/C148417208","wikidata":"https://www.wikidata.org/wiki/Q4825882","display_name":"Authentication (law)","level":2,"score":0.4971461594104767},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4829804003238678},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4605153799057007},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.42215076088905334},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4181118607521057},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4013795852661133},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.22514033317565918},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.2181461751461029},{"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},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s11390-006-0932-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11390-006-0932-9","pdf_url":null,"source":{"id":"https://openalex.org/S161516442","display_name":"Journal of Computer Science and Technology","issn_l":"1000-9000","issn":["1000-9000","1860-4749"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Science and Technology","raw_type":"journal-article"},{"id":"pmh:oai:research-repository.griffith.edu.au:10072/11407","is_oa":false,"landing_page_url":"http://hdl.handle.net/10072/11407","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W5642659","https://openalex.org/W1530116042","https://openalex.org/W1558996746","https://openalex.org/W1566400168","https://openalex.org/W1569881051","https://openalex.org/W1596565505","https://openalex.org/W1982171874","https://openalex.org/W1994676271","https://openalex.org/W2008685380","https://openalex.org/W2010939995","https://openalex.org/W2016402420","https://openalex.org/W2029693536","https://openalex.org/W2032577199","https://openalex.org/W2045478049","https://openalex.org/W2047908719","https://openalex.org/W2075277371","https://openalex.org/W2077025369","https://openalex.org/W2080317287","https://openalex.org/W2084961163","https://openalex.org/W2102922499","https://openalex.org/W2105476775","https://openalex.org/W2145415641","https://openalex.org/W2146819619","https://openalex.org/W2146973388","https://openalex.org/W2155032609","https://openalex.org/W2156773905","https://openalex.org/W2161093351","https://openalex.org/W2171075846","https://openalex.org/W2175655382","https://openalex.org/W2289446389","https://openalex.org/W2384774721","https://openalex.org/W2404159111","https://openalex.org/W3140030144"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W2578463151","https://openalex.org/W21597398","https://openalex.org/W4379142300","https://openalex.org/W2091617677","https://openalex.org/W1945774704","https://openalex.org/W1505872263","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W1913543287"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-27T08:26:11.824852","created_date":"2025-10-10T00:00:00"}