{"id":"https://openalex.org/W2127862944","doi":"https://doi.org/10.3233/jcs-2009-0348","title":"Semantics and logic for security protocols","display_name":"Semantics and logic for security protocols","publication_year":2009,"publication_date":"2009-11-25","ids":{"openalex":"https://openalex.org/W2127862944","doi":"https://doi.org/10.3233/jcs-2009-0348","mag":"2127862944"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2009-0348","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-0348","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2066/75885","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042359645","display_name":"Bart Jacobs","orcid":"https://orcid.org/0000-0002-3605-249X"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Bart Jacobs","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands","(Correspd. Tel.: +31 24 3652236; Fax: +31 24 3652298; E-mail: B.Jacobs@cs.ru.nl; URL: http://www.cs.ru.nl/B.Jacobs) Inst. for Comp. and Info. Sci., Radboud Univ. Nijmegen, Nijmegen, The Netherland ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"(Correspd. Tel.: +31 24 3652236; Fax: +31 24 3652298; E-mail: B.Jacobs@cs.ru.nl; URL: http://www.cs.ru.nl/B.Jacobs) Inst. for Comp. and Info. Sci., Radboud Univ. Nijmegen, Nijmegen, The Netherland ...#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5013382452","display_name":"Ichiro Hasuo","orcid":"https://orcid.org/0000-0002-8300-4650"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]},{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP","NL"],"is_corresponding":false,"raw_author_name":"Ichiro Hasuo","raw_affiliation_strings":["Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands","Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan","Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands and Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan","institution_ids":["https://openalex.org/I22299242"]},{"raw_affiliation_string":"Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands and Research Institute for Mathematical Sciences, Kyoto University, Kyoto, Japan#TAB#","institution_ids":["https://openalex.org/I145872427","https://openalex.org/I22299242"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5042359645"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":1.621,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.87338062,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"17","issue":"6","first_page":"909","last_page":"944"},"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.9994000196456909,"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/T10927","display_name":"Access Control and Trust","score":0.9855999946594238,"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.7745963335037231},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5053635239601135},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.44080328941345215},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4187157154083252}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7745963335037231},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5053635239601135},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.44080328941345215},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4187157154083252}],"mesh":[],"locations_count":8,"locations":[{"id":"doi:10.3233/jcs-2009-0348","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2009-0348","pdf_url":null,"source":{"id":"https://openalex.org/S106992369","display_name":"Journal of Computer Security","issn_l":"0926-227X","issn":["0926-227X","1875-8924"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Computer Security","raw_type":"journal-article"},{"id":"pmh:oai:pure.tue.nl:publications/d86255bd-91a3-4290-861b-b0272d6f6d19","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/d86255bd-91a3-4290-861b-b0272d6f6d19","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Jacobs, B P F & Hasuo, I 2009, 'Semantics and logic for security protocols', Journal of Computer Security, vol. 17, no. 6, pp. 909-944. https://doi.org/10.3233/JCS-2009-0348","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:657592","is_oa":false,"landing_page_url":"http://library.tue.nl/csp/dare/LinkToRepository.csp?recordnumber=657592","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0926-227X","raw_type":"Article / Letter to the editor"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.142.6282","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.6282","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ru.nl/B.Jacobs/PAPERS/protsemlog.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.66.6553","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.6553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ru.nl/~ichiro/papers/protsemlog.pdf","raw_type":"text"},{"id":"pmh:oai:library.tue.nl:657592","is_oa":false,"landing_page_url":"http://repository.tue.nl/657592","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN:0926-227X","raw_type":"Article / Letter to the editor"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/75885","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/75885","pdf_url":null,"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":"Journal of Computer Security, 17, 909 - 944","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/d86255bd-91a3-4290-861b-b0272d6f6d19","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/d86255bd-91a3-4290-861b-b0272d6f6d19","pdf_url":null,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Computer Security, 17(6), 909 - 944. IOS Press","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/75885","is_oa":true,"landing_page_url":"http://hdl.handle.net/2066/75885","pdf_url":null,"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":"Journal of Computer Security, 17, 909 - 944","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"score":0.75,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W114686344","https://openalex.org/W1491035119","https://openalex.org/W1554139597","https://openalex.org/W1562901937","https://openalex.org/W1588668163","https://openalex.org/W1597908183","https://openalex.org/W1648795825","https://openalex.org/W2003915781","https://openalex.org/W2010939995","https://openalex.org/W2016402420","https://openalex.org/W2029693536","https://openalex.org/W2058129511","https://openalex.org/W2093397547","https://openalex.org/W2104655005","https://openalex.org/W2105476775","https://openalex.org/W2110712507","https://openalex.org/W2113486906","https://openalex.org/W2124030056","https://openalex.org/W2146819619","https://openalex.org/W2146973388","https://openalex.org/W2154493172","https://openalex.org/W2156773905","https://openalex.org/W2159753366","https://openalex.org/W2164587664","https://openalex.org/W2168277905","https://openalex.org/W2176316790","https://openalex.org/W2293680084","https://openalex.org/W2413236481","https://openalex.org/W2610670723","https://openalex.org/W2997709458","https://openalex.org/W3013607954","https://openalex.org/W3162919972","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W2788308474"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3],"sound":[4],"BAN-like":[5],"logic":[6,17],"for":[7,20],"reasoning":[8],"about":[9],"security":[10],"protocols":[11],"with":[12],"theorem":[13],"prover":[14],"support.":[15],"The":[16,45],"has":[18,33],"formulas":[19,57],"sending":[21],"and":[22,28,32,36,62,71],"receiving":[23],"messages":[24],"(with":[25],"nonces,":[26],"public":[27],"private":[29],"encryptions,":[30],"etc.),":[31],"both":[34],"temporal":[35],"epistemic":[37],"operators":[38],"(describing":[39],"the":[40,66,72],"knowledge":[41],"of":[42],"pa":[43],"rticipants).":[44],"logic's":[46],"semantics":[47],"is":[48],"based":[49],"on":[50],"strand":[51],"spaces.":[52],"Several":[53],"(secrecy":[54],"or":[55],"authentication)":[56],"are":[58,63],"proven":[59],"in":[60],"general":[61],"applied":[64],"to":[65],"Needham\u2013Schroeder(\u2013Lowe),":[67],"bilateral":[68],"key":[69],"exchange":[70],"Otway\u2013Rees":[73],"protocols,":[74],"as":[75],"illustrations.":[76]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}