{"id":"https://openalex.org/W1828531809","doi":null,"title":"Models for Cryptographic Protocol Analysis","display_name":"Models for Cryptographic Protocol Analysis","publication_year":2006,"publication_date":"2006-01-01","ids":{"openalex":"https://openalex.org/W1828531809","mag":"1828531809"},"language":"en","primary_location":{"id":"pmh:oai:etd.adm.unipi.it:etd-05222006-143639","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/unrestricted/phdZunino.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","raw_type":"text"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/unrestricted/phdZunino.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5003560156","display_name":"Roberto Zunino","orcid":"https://orcid.org/0000-0002-9630-429X","observed_orcids":["https://orcid.org/0000-0002-9630-429X"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Roberto Zunino","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5003560156"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.7235999703407288,"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.7235999703407288,"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/T10237","display_name":"Cryptography and Data Security","score":0.17479999363422394,"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.02199999988079071,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/cryptographic-protocol-analysis","display_name":"cryptographic protocol analysis","score":0.9869999885559082},{"id":"https://openalex.org/keywords/formal-models","display_name":"formal models","score":0.6700000166893005},{"id":"https://openalex.org/keywords/free-algebras","display_name":"free algebras","score":0.7580000162124634},{"id":"https://openalex.org/keywords/cryptographic-primitives","display_name":"cryptographic primitives","score":0.6230000257492065},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8050000071525574},{"id":"https://openalex.org/keywords/protocol-verification","display_name":"protocol verification","score":0.7910000085830688},{"id":"https://openalex.org/keywords/security-protocols","display_name":"security protocols","score":0.36899998784065247}],"concepts":[{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.7918270826339722},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6954461336135864},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.684012770652771},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.6117761135101318},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5979857444763184},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5940120220184326},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.533467710018158},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.23508936166763306},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"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/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:etd.adm.unipi.it:etd-05222006-143639","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/unrestricted/phdZunino.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","raw_type":"text"},{"id":"mag:1828531809","doi":null,"is_oa":false,"landing_page_url":"https://oatd.org/oatd/record?record=oai%5C%3Aetd.adm.unipi.it%5C%3Aetd-05222006-143639","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:etd.adm.unipi.it:etd-05222006-143639","doi":null,"is_oa":true,"landing_page_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","pdf_url":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/unrestricted/phdZunino.pdf","source":{"id":"https://openalex.org/S4306401800","display_name":"Electronic Theses and Dissertations Repository (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"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":"https://etd.adm.unipi.it/theses/available/etd-05222006-143639/","raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1828531809.pdf","grobid_xml":"https://content.openalex.org/works/W1828531809.grobid-xml"},"referenced_works_count":62,"referenced_works":["https://openalex.org/W20186095","https://openalex.org/W141091997","https://openalex.org/W172931018","https://openalex.org/W259536784","https://openalex.org/W1483180838","https://openalex.org/W1497022621","https://openalex.org/W1505834612","https://openalex.org/W1510965759","https://openalex.org/W1513989276","https://openalex.org/W1532150808","https://openalex.org/W1532360581","https://openalex.org/W1538016627","https://openalex.org/W1542059364","https://openalex.org/W1551719154","https://openalex.org/W1568479630","https://openalex.org/W1586583492","https://openalex.org/W1587641948","https://openalex.org/W1593799327","https://openalex.org/W1603799276","https://openalex.org/W1605744481","https://openalex.org/W1607941647","https://openalex.org/W1635081860","https://openalex.org/W1867986337","https://openalex.org/W1873855224","https://openalex.org/W1923391011","https://openalex.org/W1961998804","https://openalex.org/W1973054120","https://openalex.org/W1974152790","https://openalex.org/W1974416171","https://openalex.org/W1976195354","https://openalex.org/W1991354622","https://openalex.org/W1992547339","https://openalex.org/W1994676271","https://openalex.org/W1999863358","https://openalex.org/W2002622794","https://openalex.org/W2002770083","https://openalex.org/W2003679360","https://openalex.org/W2007572995","https://openalex.org/W2029693536","https://openalex.org/W2034753880","https://openalex.org/W2036385788","https://openalex.org/W2048984644","https://openalex.org/W2054596013","https://openalex.org/W2073385346","https://openalex.org/W2086536307","https://openalex.org/W2088129830","https://openalex.org/W2096094850","https://openalex.org/W2099171290","https://openalex.org/W2103759928","https://openalex.org/W2104130981","https://openalex.org/W2104734478","https://openalex.org/W2106539366","https://openalex.org/W2110423379","https://openalex.org/W2114566185","https://openalex.org/W2134732832","https://openalex.org/W2144752539","https://openalex.org/W2146749986","https://openalex.org/W2150682469","https://openalex.org/W2156186849","https://openalex.org/W2175661655","https://openalex.org/W2583131896","https://openalex.org/W3028982149"],"related_works":["https://openalex.org/W1554274402","https://openalex.org/W2120961426","https://openalex.org/W1968715010","https://openalex.org/W1521664307","https://openalex.org/W7096722782","https://openalex.org/W2886088845","https://openalex.org/W3021289767","https://openalex.org/W7098699752","https://openalex.org/W2055717171","https://openalex.org/W2351521370"],"abstract_inverted_index":{"Formal":[0],"models":[1],"for":[2,82],"security":[3],"protocols":[4,84],"often":[5],"rely":[6],"on":[7],"assumptions":[8],"not":[9,27],"to":[10,71],"be":[11,28],"found":[12],"in":[13,30,54,86],"computational":[14],"models.":[15,75,88],"A":[16],"first":[17],"assumption":[18,41],"is":[19,37,42],"the":[20,34,43,55],"perfect":[21],"encryption":[22],"one:":[23,46],"encrypted":[24],"data":[25],"can":[26],"manipulated":[29],"any":[31],"way":[32],"unless":[33],"decryption":[35],"key":[36],"known.":[38],"Another":[39],"usual":[40],"free":[44,62],"algebra":[45],"only":[47],"a":[48,61],"few":[49],"cryptographic":[50],"primitives":[51],"are":[52],"considered":[53],"model,":[56],"and":[57,68],"these":[58,66],"must":[59],"form":[60],"algebra.":[63],"We":[64,76],"study":[65],"assumptions,":[67],"relax":[69],"them":[70],"define":[72,78],"more":[73],"general":[74],"then":[77],"static":[79],"analysis":[80],"techniques":[81],"veryfing":[83],"secure":[85],"our":[87]},"counts_by_year":[],"updated_date":"2026-09-26T08:19:03.415552","created_date":"2016-06-24T00:00:00"}