{"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","Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China","Institute for Integrated and Intelligent Systems, Griffith University, Brisbane, Qld, Australia"],"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":"Department of Computer Science, Sun Yat-Sen University, Guangzhou, P.R. China","institution_ids":["https://openalex.org/I157773358"]},{"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/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, Sun Yat-Sen University, Guangzhou, P.R. China","Department of Computer Science, Brandenburg University of Technology, Cottbus, Germany"],"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, Sun Yat-Sen University, Guangzhou, 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"]}]},{"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"],"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"],"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"],"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"],"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":6,"corresponding_author_ids":["https://openalex.org/A5016292021"],"corresponding_institution_ids":["https://openalex.org/I157773358","https://openalex.org/I51783024"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.15102795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"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":{"id":"https://openalex.org/S4306402548","display_name":"Griffith Research Online (Griffith University, Queensland, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I11701301","host_organization_name":"Griffith University","host_organization_lineage":["https://openalex.org/I11701301"],"host_organization_lineage_names":[],"type":"repository"},"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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","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-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}