{"id":"https://openalex.org/W308821547","doi":"https://doi.org/10.1007/0-387-24098-5_5","title":"Pattern-Matching Spi-Calculus","display_name":"Pattern-Matching Spi-Calculus","publication_year":2005,"publication_date":"2005-10-03","ids":{"openalex":"https://openalex.org/W308821547","doi":"https://doi.org/10.1007/0-387-24098-5_5","mag":"308821547"},"language":"en","primary_location":{"id":"doi:10.1007/0-387-24098-5_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-24098-5_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-24098-5_5.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047069342","display_name":"Christian Haack","orcid":"https://orcid.org/0000-0003-3932-2448"},"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/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]}],"countries":["NL","US"],"is_corresponding":true,"raw_author_name":"Christian Haack","raw_affiliation_strings":["DePaul University, USA","Security of Systems Group, Faculty of Science, Radboud University, Nijmegen, The Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"DePaul University, USA","institution_ids":["https://openalex.org/I118353179"]},{"raw_affiliation_string":"Security of Systems Group, Faculty of Science, Radboud University, Nijmegen, The Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012868882","display_name":"Alan Jeffrey","orcid":"https://orcid.org/0000-0001-6342-0318"},"institutions":[{"id":"https://openalex.org/I118353179","display_name":"DePaul University","ror":"https://ror.org/04xtx5t16","country_code":"US","type":"education","lineage":["https://openalex.org/I118353179"]},{"id":"https://openalex.org/I1322087612","display_name":"Alcatel Lucent (Germany)","ror":"https://ror.org/00c5mwp75","country_code":"DE","type":"company","lineage":["https://openalex.org/I1322087612"]}],"countries":["DE","US"],"is_corresponding":false,"raw_author_name":"Alan Jeffrey","raw_affiliation_strings":["Bell Labs, Lucent Technologies and DePaul University, USA","Security Technology Research Department, Bell Labs, Lucent Technologies, Lisle, IL"],"affiliations":[{"raw_affiliation_string":"Bell Labs, Lucent Technologies and DePaul University, USA","institution_ids":["https://openalex.org/I118353179"]},{"raw_affiliation_string":"Security Technology Research Department, Bell Labs, Lucent Technologies, Lisle, IL","institution_ids":["https://openalex.org/I1322087612"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047069342"],"corresponding_institution_ids":["https://openalex.org/I118353179","https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04097929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"204","issue":"8","first_page":"1195","last_page":"1263"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9993000030517578,"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.9993000030517578,"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.9980000257492065,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.992900013923645,"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/computer-science","display_name":"Computer science","score":0.7505136728286743},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7115391492843628},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.6823678612709045},{"id":"https://openalex.org/keywords/novelty","display_name":"Novelty","score":0.6271942257881165},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.5830925107002258},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.5694320201873779},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5693373680114746},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5654438138008118},{"id":"https://openalex.org/keywords/pattern-matching","display_name":"Pattern matching","score":0.5515560507774353},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.5009543895721436},{"id":"https://openalex.org/keywords/cryptographic-primitive","display_name":"Cryptographic primitive","score":0.45144081115722656},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.41798335313796997},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.41108617186546326},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40535104274749756},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3169132471084595},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19883376359939575},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.15811914205551147}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7505136728286743},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7115391492843628},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.6823678612709045},{"id":"https://openalex.org/C2778738651","wikidata":"https://www.wikidata.org/wiki/Q16546687","display_name":"Novelty","level":2,"score":0.6271942257881165},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.5830925107002258},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.5694320201873779},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5693373680114746},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5654438138008118},{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.5515560507774353},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.5009543895721436},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.45144081115722656},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.41798335313796997},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.41108617186546326},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40535104274749756},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3169132471084595},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19883376359939575},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.15811914205551147},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/0-387-24098-5_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-24098-5_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},{"id":"doi:10.1016/j.ic.2006.04.004","is_oa":false,"landing_page_url":"https://doi.org/10.1016/j.ic.2006.04.004","pdf_url":null,"source":{"id":"https://openalex.org/S59933527","display_name":"Information and Computation","issn_l":"0890-5401","issn":["0890-5401","1090-2651"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Computation","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.104","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.104","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/~chaack/papers/pattern-matching-spi.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.102.9093","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.9093","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/~chaack/papers/papers/pattern-matching-spi-long.pdf","raw_type":"text"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/35557","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/35557","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":"Information and Computation, 204, 1195 - 1263","raw_type":"info:eu-repo/semantics/article"},{"id":"mag:308821547","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/conf/ifip1-7/fast2004.html#HaackJ04","pdf_url":null,"source":{"id":"https://openalex.org/S4306418428","display_name":"Formal Aspects in Security and Trust","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":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"Formal Aspects in Security and Trust","raw_type":null}],"best_oa_location":{"id":"doi:10.1007/0-387-24098-5_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/0-387-24098-5_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F0-387-24098-5_5.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IFIP International Federation for Information Processing","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W308821547.pdf","grobid_xml":"https://content.openalex.org/works/W308821547.grobid-xml"},"referenced_works_count":61,"referenced_works":["https://openalex.org/W1538878344","https://openalex.org/W1542335382","https://openalex.org/W1552843130","https://openalex.org/W1559188380","https://openalex.org/W1562901937","https://openalex.org/W1564466854","https://openalex.org/W1564472726","https://openalex.org/W1583295953","https://openalex.org/W1585877836","https://openalex.org/W1588492604","https://openalex.org/W1973054120","https://openalex.org/W1991354622","https://openalex.org/W1994676271","https://openalex.org/W2016927062","https://openalex.org/W2029693536","https://openalex.org/W2052539228","https://openalex.org/W2057657013","https://openalex.org/W2093305078","https://openalex.org/W2097913369","https://openalex.org/W2099361263","https://openalex.org/W2104130981","https://openalex.org/W2106613101","https://openalex.org/W2111477637","https://openalex.org/W2114189125","https://openalex.org/W2119617924","https://openalex.org/W2124679171","https://openalex.org/W2131895477","https://openalex.org/W2132898941","https://openalex.org/W2133126578","https://openalex.org/W2134732832","https://openalex.org/W2150426251","https://openalex.org/W2151955821","https://openalex.org/W2174624365","https://openalex.org/W2175137100","https://openalex.org/W2175661655","https://openalex.org/W2176696677","https://openalex.org/W2413236481","https://openalex.org/W2505612108","https://openalex.org/W2583503385","https://openalex.org/W2671458242","https://openalex.org/W3003983481","https://openalex.org/W3143649921","https://openalex.org/W3162919972","https://openalex.org/W4247445674","https://openalex.org/W6632285902","https://openalex.org/W6632395088","https://openalex.org/W6633455551","https://openalex.org/W6633506358","https://openalex.org/W6635315549","https://openalex.org/W6635404979","https://openalex.org/W6636857320","https://openalex.org/W6664924188","https://openalex.org/W6675058578","https://openalex.org/W6676138665","https://openalex.org/W6676977177","https://openalex.org/W6677047699","https://openalex.org/W6677741106","https://openalex.org/W6678253120","https://openalex.org/W6680218949","https://openalex.org/W6682156702","https://openalex.org/W6715319339"],"related_works":["https://openalex.org/W18341231","https://openalex.org/W1506075192","https://openalex.org/W2368882083","https://openalex.org/W2020961808","https://openalex.org/W2186908584","https://openalex.org/W2186261151","https://openalex.org/W2179080908","https://openalex.org/W1584984507","https://openalex.org/W1681051970","https://openalex.org/W2167059259","https://openalex.org/W1491395861","https://openalex.org/W2159256409","https://openalex.org/W2006710227","https://openalex.org/W2136859846","https://openalex.org/W1813607262","https://openalex.org/W2249136680","https://openalex.org/W2952938998","https://openalex.org/W2895157835","https://openalex.org/W2797326439","https://openalex.org/W2293715571"],"abstract_inverted_index":{"Cryptographic":[0],"protocols":[1],"often":[2],"make":[3],"use":[4],"of":[5,47,57,71],"nested":[6,32],"cryptographic":[7],"primitives,":[8],"for":[9,25,30],"example":[10],"signed":[11,16],"message":[12],"digests,":[13],"or":[14],"encrypted":[15],"messages.":[17],"Gordon":[18],"and":[19],"Jeffrey's":[20],"prior":[21,83],"work":[22],"on":[23],"types":[24],"authenticity":[26],"did":[27],"not":[28],"allow":[29],"such":[31],"cryptography.":[33],"In":[34],"this":[35],"work,":[36],"we":[37],"present":[38],"the":[39,48,58,62,68],"pattern-matching":[40,52],"spi-calculus,":[41],"which":[42,66,78],"is":[43,60,93],"an":[44],"obvious":[45],"extension":[46],"spi-calculus":[49],"to":[50,73,95],"include":[51],"as":[53],"primitive.":[54],"The":[55],"novelty":[56],"language":[59,70],"in":[61],"accompanying":[63],"type":[64,84],"system,":[65],"uses":[67],"same":[69],"patterns":[72],"describe":[74],"complex":[75],"data":[76],"dependencies":[77],"cannot":[79],"be":[80],"described":[81],"using":[82],"systems.":[85],"We":[86],"show":[87],"that":[88],"any":[89],"appropriately":[90],"typed":[91],"process":[92],"guaranteed":[94],"satisfy":[96],"a":[97],"strong":[98],"robust":[99],"safety":[100],"property.":[101]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}