{"id":"https://openalex.org/W1835425562","doi":"https://doi.org/10.3233/jcs-2011-0429","title":"Analysing TLS in the strand spaces model","display_name":"Analysing TLS in the strand spaces model","publication_year":2011,"publication_date":"2011-11-04","ids":{"openalex":"https://openalex.org/W1835425562","doi":"https://doi.org/10.3233/jcs-2011-0429","mag":"1835425562"},"language":"en","primary_location":{"id":"doi:10.3233/jcs-2011-0429","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0429","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009748138","display_name":"Allaa Kamil","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Allaa Kamil","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: ,","Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: allaa.kamil@cs.ox.ac.uk, gavin.lowe@cs.ox.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: ,","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: allaa.kamil@cs.ox.ac.uk, gavin.lowe@cs.ox.ac.uk","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112337734","display_name":"Gavin Lowe","orcid":null},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Gavin Lowe","raw_affiliation_strings":["Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: ,","Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: allaa.kamil@cs.ox.ac.uk, gavin.lowe@cs.ox.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: ,","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK. E-mails: allaa.kamil@cs.ox.ac.uk, gavin.lowe@cs.ox.ac.uk","institution_ids":["https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5009748138"],"corresponding_institution_ids":["https://openalex.org/I40120149"],"apc_list":null,"apc_paid":null,"fwci":2.924,"has_fulltext":false,"cited_by_count":19,"citation_normalized_percentile":{"value":0.90764837,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"19","issue":"5","first_page":"975","last_page":"1025"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9997000098228455,"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.9997000098228455,"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/T10951","display_name":"Cryptographic Implementations and Security","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9951000213623047,"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.5987757444381714}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5987757444381714}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3233/jcs-2011-0429","is_oa":false,"landing_page_url":"https://doi.org/10.3233/jcs-2011-0429","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:CiteSeerX.psu:10.1.1.669.3937","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.3937","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.ox.ac.uk/gavin.lowe/Papers/TLSpaper.pdf?origin%3Dpublication_detail","raw_type":"text"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:0b244995-30ea-49e8-8d49-eb54abf91d63","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:0b244995-30ea-49e8-8d49-eb54abf91d63","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Department of Computer Science","raw_type":"Report"},{"id":"pmh:oai:ora.ox.ac.uk:uuid:1dec02af-ad36-4a2d-a6c0-34c3692c899b","is_oa":false,"landing_page_url":"https://ora.ox.ac.uk/objects/uuid:1dec02af-ad36-4a2d-a6c0-34c3692c899b","pdf_url":null,"source":{"id":"https://openalex.org/S4306402636","display_name":"Oxford University Research Archive (ORA) (University of Oxford)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40120149","host_organization_name":"University of Oxford","host_organization_lineage":["https://openalex.org/I40120149"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Symplectic Elements at Oxford","raw_type":"Journal article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W114686344","https://openalex.org/W189766157","https://openalex.org/W228572347","https://openalex.org/W1499934958","https://openalex.org/W1502851386","https://openalex.org/W1508967933","https://openalex.org/W1534362546","https://openalex.org/W1566084892","https://openalex.org/W1597908183","https://openalex.org/W1660562555","https://openalex.org/W1681146363","https://openalex.org/W1731788295","https://openalex.org/W1733713784","https://openalex.org/W1907943060","https://openalex.org/W1965927058","https://openalex.org/W1966212263","https://openalex.org/W1966219798","https://openalex.org/W1976000498","https://openalex.org/W2002084641","https://openalex.org/W2029693536","https://openalex.org/W2049224403","https://openalex.org/W2076864770","https://openalex.org/W2107670563","https://openalex.org/W2110712507","https://openalex.org/W2111101333","https://openalex.org/W2112896529","https://openalex.org/W2120600989","https://openalex.org/W2121634453","https://openalex.org/W2124030056","https://openalex.org/W2125226998","https://openalex.org/W2127035198","https://openalex.org/W2129844302","https://openalex.org/W2130899669","https://openalex.org/W2146681155","https://openalex.org/W2150426251","https://openalex.org/W2153281696","https://openalex.org/W2155032609","https://openalex.org/W2160838772","https://openalex.org/W2161706819","https://openalex.org/W2165477067","https://openalex.org/W2167283491","https://openalex.org/W2247093032","https://openalex.org/W2293633287","https://openalex.org/W3032639674","https://openalex.org/W3125672686","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"In":[0,23],"this":[1],"paper,":[2],"we":[3,101,133],"analyse":[4,142],"the":[5,19,26,51,60,63,76,88,103,106,114,122,135,143,154],"Transport":[6],"Layer":[7,158],"Security":[8,30],"(TLS)":[9],"protocol":[10,61,107],"(in":[11],"particular,":[12],"bilateral":[13,147],"TLS":[14,81,127,148],"in":[15,118,126],"public-key":[16,144],"mode)":[17],"within":[18],"strand":[20,115,137],"spaces":[21,116,138],"setting.":[22],"Proceedings":[24],"of":[25,46,69,75,105,146],"16th":[27],"IEEE":[28,34],"Computer":[29,35],"Foundations":[31],"Workshop":[32],"(CSFW),":[33],"Society,":[36],"2003,":[37],"pp.":[38],"141\u2013154,":[39],"Broadfoot":[40,93],"and":[41,82,94,128,156],"Lowe":[42,95],"suggested":[43,91],"an":[44],"abstraction":[45,49],"TLS.":[47],"The":[48,67],"models":[50],"security":[52,65,77],"services":[53,78],"that":[54,99],"appear":[55],"to":[56,62,120,140],"be":[57],"provided":[58,79],"by":[59,80,92],"high-level":[64],"layers.":[66],"outcome":[68],"our":[70],"analysis":[71],"provides":[72],"a":[73],"formalisation":[74],"proves":[83],"that,":[84],"under":[85],"reasonable":[86],"assumptions,":[87],"abstract":[89],"model":[90,117,139],"is":[96],"correct.":[97],"To":[98],"end,":[100],"reduce":[102],"complexity":[104],"using":[108],"fault-preserving":[109],"simplifying":[110],"transformations.":[111],"We":[112],"extend":[113],"order":[119],"include":[121],"cryptographic":[123],"operations":[124],"used":[125],"facilitate":[129],"its":[130,150],"analysis.":[131],"Finally,":[132],"use":[134],"extended":[136],"fully":[141],"mode":[145],"with":[149],"two":[151],"main":[152],"components:":[153],"Handshake":[155],"Record":[157],"protocols.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}