{"id":"https://openalex.org/W7140143129","doi":"https://doi.org/10.48550/arxiv.2603.19908","title":"A Theory of Composable Lingos for Protocol Dialects","display_name":"A Theory of Composable Lingos for Protocol Dialects","publication_year":2026,"publication_date":"2026-03-20","ids":{"openalex":"https://openalex.org/W7140143129","doi":"https://doi.org/10.48550/arxiv.2603.19908"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2603.19908","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2603.19908","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5130410475","display_name":"V\u00edctor Garc\u00eda","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Garc\u00eda, V\u00edctor","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5130355966","display_name":"Santaigo Escobar","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Escobar, Santiago","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021410622","display_name":"Catherine Meadows","orcid":"https://orcid.org/0009-0006-0673-711X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meadows, Catherine","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5110135120","display_name":"Jos\u00e9 Meseguer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Meseguer, Jose","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"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.7853000164031982,"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.7853000164031982,"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.06400000303983688,"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/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.018400000408291817,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5928999781608582},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5914999842643738},{"id":"https://openalex.org/keywords/formal-system","display_name":"Formal system","score":0.5148000121116638},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.49729999899864197},{"id":"https://openalex.org/keywords/formal-description","display_name":"Formal description","score":0.4941999912261963},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4772000014781952},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.4740999937057495}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7638999819755554},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5928999781608582},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5914999842643738},{"id":"https://openalex.org/C102315432","wikidata":"https://www.wikidata.org/wiki/Q649732","display_name":"Formal system","level":2,"score":0.5148000121116638},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.49729999899864197},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.4941999912261963},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4772000014781952},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.4740999937057495},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46959999203681946},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.46299999952316284},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4609000086784363},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4397999942302704},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.39719998836517334},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3253999948501587},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3091999888420105},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.2809000015258789},{"id":"https://openalex.org/C2984882572","wikidata":"https://www.wikidata.org/wiki/Q602886","display_name":"Pi calculus","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2605000138282776}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2603.19908","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2603.19908","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2603.19908","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.43922778964042664,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Formal":[0],"patterns":[1,68,133,141],"are":[2,13,73,107],"formally":[3],"specified":[4],"solutions":[5],"to":[6,69,80,93,109],"frequently":[7],"occurring":[8],"distributed":[9],"system":[10,31],"problems":[11],"that":[12,53,90],"generic,":[14],"executable,":[15],"and":[16,137,150,179],"come":[17],"with":[18,83],"strong":[19],"qualitative":[20],"and/or":[21],"quantitative":[22],"formal":[23,26,67,132,140,171],"guarantees.":[24],"A":[25,97,113],"pattern":[27],"is":[28,99],"a":[29,35,100,121,156,168],"generic":[30,173],"transformation":[32],"which":[33],"transforms":[34],"usually":[36],"infinite":[37],"class":[38],"of":[39,43,50,66,167],"systems":[40,52],"in":[41,57],"need":[42],"the":[44,55,64,111,118,165,176,180],"pattern's":[45],"solution":[46],"into":[47,155],"enhanced":[48],"versions":[49],"such":[51],"solve":[54],"problem":[56],"question.":[58],"In":[59,126],"this":[60,127],"paper":[61,128],"we":[62,129],"demonstrate":[63],"application":[65,166],"protocol":[70],"dialects.":[71,138],"Dialects":[72,159],"methods":[74],"for":[75,124,134],"hardening":[76],"protocols":[77],"so":[78],"as":[79],"endow":[81],"them":[82,149],"light-weight":[84],"security,":[85],"especially":[86],"against":[87],"easy":[88],"attacks":[89],"can":[91,142,161],"lead":[92],"more":[94],"serious":[95],"ones.":[96],"lingo":[98,178],"dialect's":[101],"key":[102],"security":[103],"component,":[104],"because":[105],"attackers":[106],"unable":[108],"''speak''":[110],"lingo.":[112,158],"lingo's":[114],"''talk''":[115],"changes":[116],"all":[117],"time,":[119],"becoming":[120],"moving":[122],"target":[123],"attackers.":[125],"present":[130],"several":[131,153],"both":[135,147,175],"lingos":[136,144,154],"Lingo":[139],"make":[143],"stronger":[145,157],"by":[146,151,164],"transforming":[148],"composing":[152],"themselves":[160],"be":[162],"obtained":[163],"single":[169],"dialect":[170],"pattern,":[172],"on":[174],"chosen":[177,181],"protocol.":[182]},"counts_by_year":[],"updated_date":"2026-07-11T05:44:25.926202","created_date":"2026-03-24T00:00:00"}