{"id":"https://openalex.org/W2106238708","doi":"https://doi.org/10.1007/s11229-010-9765-8","title":"To know or not to know: epistemic approaches to security protocol verification","display_name":"To know or not to know: epistemic approaches to security protocol verification","publication_year":2010,"publication_date":"2010-08-23","ids":{"openalex":"https://openalex.org/W2106238708","doi":"https://doi.org/10.1007/s11229-010-9765-8","mag":"2106238708"},"language":"en","primary_location":{"id":"doi:10.1007/s11229-010-9765-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9765-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9765-8.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9765-8.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035508729","display_name":"Francien Dechesne","orcid":"https://orcid.org/0000-0002-3511-9103"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Francien Dechesne","raw_affiliation_strings":["Philosophy section, Department of Technology, Policy and Management, Delft University of Technology, Delft, The Netherlands","Delft University of Technology,,,,,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philosophy section, Department of Technology, Policy and Management, Delft University of Technology, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Delft University of Technology,,,,,","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100776702","display_name":"Yanjing Wang","orcid":"https://orcid.org/0000-0002-9499-416X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanjing Wang","raw_affiliation_strings":["Department of Philosophy, Peking University, Beijing, China","Peking University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, Peking University, Beijing, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5035508729"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":{"value":2390,"currency":"EUR","value_usd":2990},"fwci":8.9124,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.97249915,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"177","issue":"S1","first_page":"51","last_page":"76"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9965000152587891,"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"}},"topics":[{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.9965000152587891,"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"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9950000047683716,"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/T11424","display_name":"Security and Verification in Computing","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/philosophy-of-language","display_name":"Philosophy of language","score":0.708651065826416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6786081790924072},{"id":"https://openalex.org/keywords/philosophy-of-science","display_name":"Philosophy of science","score":0.6501148343086243},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.6435767412185669},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5091425776481628},{"id":"https://openalex.org/keywords/modalities","display_name":"Modalities","score":0.49122780561447144},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.47478267550468445},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4451184868812561},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.42217332124710083},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4202226996421814},{"id":"https://openalex.org/keywords/metaphysics","display_name":"Metaphysics","score":0.3344249129295349},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.24363577365875244},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1879267692565918},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1639454960823059},{"id":"https://openalex.org/keywords/sociology","display_name":"Sociology","score":0.1398298144340515},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.12389788031578064},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.1080942153930664},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.10809320211410522}],"concepts":[{"id":"https://openalex.org/C123556308","wikidata":"https://www.wikidata.org/wiki/Q484761","display_name":"Philosophy of language","level":3,"score":0.708651065826416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6786081790924072},{"id":"https://openalex.org/C110099512","wikidata":"https://www.wikidata.org/wiki/Q59115","display_name":"Philosophy of science","level":2,"score":0.6501148343086243},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.6435767412185669},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5091425776481628},{"id":"https://openalex.org/C2779903281","wikidata":"https://www.wikidata.org/wiki/Q6888026","display_name":"Modalities","level":2,"score":0.49122780561447144},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.47478267550468445},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4451184868812561},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.42217332124710083},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4202226996421814},{"id":"https://openalex.org/C182744844","wikidata":"https://www.wikidata.org/wiki/Q35277","display_name":"Metaphysics","level":2,"score":0.3344249129295349},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.24363577365875244},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1879267692565918},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1639454960823059},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.1398298144340515},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.12389788031578064},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.1080942153930664},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.10809320211410522},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","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},{"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/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s11229-010-9765-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9765-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9765-8.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},{"id":"pmh:tud:oai:tudelft.nl:uuid:dcbcdf5f-2992-48b9-b764-423199a27345","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:dcbcdf5f-2992-48b9-b764-423199a27345","pdf_url":"http://resolver.tudelft.nl/uuid:dcbcdf5f-2992-48b9-b764-423199a27345","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 177 (S1), 2010","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.724.2547","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.724.2547","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.phil.pku.edu.cn/personal/wangyj/files/papers/ToKnowOrNot.pdf","raw_type":"text"},{"id":"pmh:oai:HAL:inria-00535883v1","is_oa":false,"landing_page_url":"https://inria.hal.science/inria-00535883","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Synthese, 2010, pp.1-26. ⟨10.1007/s11229-010-9765-8⟩","raw_type":"Journal articles"}],"best_oa_location":{"id":"doi:10.1007/s11229-010-9765-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11229-010-9765-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11229-010-9765-8.pdf","source":{"id":"https://openalex.org/S255146","display_name":"Synthese","issn_l":"0039-7857","issn":["0039-7857","1573-0964"],"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":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Synthese","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1460728881","display_name":null,"funder_award_id":"612.000.528","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2106238708.pdf","grobid_xml":"https://content.openalex.org/works/W2106238708.grobid-xml"},"referenced_works_count":123,"referenced_works":["https://openalex.org/W44525949","https://openalex.org/W67051990","https://openalex.org/W102721760","https://openalex.org/W116450752","https://openalex.org/W138938878","https://openalex.org/W236281116","https://openalex.org/W618021037","https://openalex.org/W1485725695","https://openalex.org/W1489891289","https://openalex.org/W1492585812","https://openalex.org/W1507793072","https://openalex.org/W1508084520","https://openalex.org/W1513903619","https://openalex.org/W1518725080","https://openalex.org/W1521883036","https://openalex.org/W1533142698","https://openalex.org/W1533253403","https://openalex.org/W1538657331","https://openalex.org/W1538974513","https://openalex.org/W1540001753","https://openalex.org/W1541979851","https://openalex.org/W1544323190","https://openalex.org/W1544787586","https://openalex.org/W1545403022","https://openalex.org/W1552474335","https://openalex.org/W1563328497","https://openalex.org/W1571378841","https://openalex.org/W1583239905","https://openalex.org/W1587990038","https://openalex.org/W1596365597","https://openalex.org/W1599831362","https://openalex.org/W1600159979","https://openalex.org/W1603966055","https://openalex.org/W1606699573","https://openalex.org/W1619779852","https://openalex.org/W1623229847","https://openalex.org/W1751516141","https://openalex.org/W1765464860","https://openalex.org/W1834151623","https://openalex.org/W1839943810","https://openalex.org/W1927315279","https://openalex.org/W1949722297","https://openalex.org/W1972507301","https://openalex.org/W1973054120","https://openalex.org/W1974178029","https://openalex.org/W1978884755","https://openalex.org/W1982395595","https://openalex.org/W1985022920","https://openalex.org/W2010508644","https://openalex.org/W2016402420","https://openalex.org/W2022205872","https://openalex.org/W2024664992","https://openalex.org/W2025891636","https://openalex.org/W2029693536","https://openalex.org/W2032206951","https://openalex.org/W2035877969","https://openalex.org/W2039352370","https://openalex.org/W2040088990","https://openalex.org/W2041435496","https://openalex.org/W2046551143","https://openalex.org/W2052563898","https://openalex.org/W2058889108","https://openalex.org/W2061100541","https://openalex.org/W2061141623","https://openalex.org/W2070610324","https://openalex.org/W2077025369","https://openalex.org/W2080911030","https://openalex.org/W2081927093","https://openalex.org/W2087811006","https://openalex.org/W2096959337","https://openalex.org/W2100327715","https://openalex.org/W2100973247","https://openalex.org/W2102097307","https://openalex.org/W2102922499","https://openalex.org/W2104655005","https://openalex.org/W2105750191","https://openalex.org/W2108854243","https://openalex.org/W2110930028","https://openalex.org/W2111592025","https://openalex.org/W2116509046","https://openalex.org/W2120600989","https://openalex.org/W2120613606","https://openalex.org/W2121852834","https://openalex.org/W2124371467","https://openalex.org/W2127035198","https://openalex.org/W2127332478","https://openalex.org/W2128610788","https://openalex.org/W2133126578","https://openalex.org/W2137106081","https://openalex.org/W2146819619","https://openalex.org/W2146973388","https://openalex.org/W2147584309","https://openalex.org/W2148725542","https://openalex.org/W2150853278","https://openalex.org/W2151302063","https://openalex.org/W2152976548","https://openalex.org/W2153157844","https://openalex.org/W2155032609","https://openalex.org/W2157303295","https://openalex.org/W2160675873","https://openalex.org/W2161093351","https://openalex.org/W2162764638","https://openalex.org/W2163790120","https://openalex.org/W2293680084","https://openalex.org/W2340735175","https://openalex.org/W2616782385","https://openalex.org/W2694158402","https://openalex.org/W2808422107","https://openalex.org/W2913009136","https://openalex.org/W2913459036","https://openalex.org/W2914000423","https://openalex.org/W2946824309","https://openalex.org/W3031048092","https://openalex.org/W3140030144","https://openalex.org/W3162919972","https://openalex.org/W3196893454","https://openalex.org/W4213255959","https://openalex.org/W4233425051","https://openalex.org/W4244435490","https://openalex.org/W4285719527","https://openalex.org/W6605722537","https://openalex.org/W6632675068","https://openalex.org/W6674452728"],"related_works":["https://openalex.org/W3036507465","https://openalex.org/W2887262263","https://openalex.org/W2769873200","https://openalex.org/W2083483925","https://openalex.org/W3177974669","https://openalex.org/W2142383276","https://openalex.org/W2953029921","https://openalex.org/W3088134000","https://openalex.org/W3195453448","https://openalex.org/W3178966338"],"abstract_inverted_index":{"Security":[0],"properties":[1],"naturally":[2],"combine":[3],"temporal":[4,98],"aspects":[5,9],"of":[6,10,12,30,40,72,79,108,114],"protocols":[7],"with":[8,52],"knowledge":[11,89],"the":[13,28,43,70,77,101,106,109],"agents.":[14],"Since":[15],"BAN-logic,":[16],"there":[17],"have":[18,58],"been":[19,59],"several":[20],"initiatives":[21],"and":[22,45],"attempts":[23],"to":[24,67,96],"incorporate":[25],"epistemics":[26,73],"into":[27],"analysis":[29,78],"security":[31,80],"protocols.":[32,81],"In":[33],"this":[34],"paper,":[35],"we":[36,65,104],"give":[37],"an":[38],"overview":[39],"work":[41],"in":[42,48,61,112],"field":[44],"present":[46],"it":[47],"a":[49],"unified":[50],"perspective,":[51],"comparisons":[53],"on":[54],"technical":[55],"subtleties":[56],"that":[57],"employed":[60],"different":[62],"approaches.":[63],"Also,":[64],"study":[66],"which":[68,88],"degree":[69],"use":[71],"is":[74],"essential":[75],"for":[76,84],"We":[82],"look":[83],"formal":[85],"conditions":[86],"under":[87],"modalities":[90],"can":[91],"bring":[92],"extra":[93],"expressive":[94],"power":[95],"pure":[97],"languages.":[99],"On":[100],"other":[102],"hand,":[103],"discuss":[105],"cost":[107],"epistemic":[110],"operators":[111],"terms":[113],"model":[115],"checking":[116],"complexity.":[117]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-06-19T17:40:00.097472","created_date":"2025-10-10T00:00:00"}