乐胖代购免代理版

{"id":"https://openalex.org/W2152862197","doi":"https://doi.org/10.1109/srds.2007.26","title":"A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations","display_name":"A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2152862197","doi":"https://doi.org/10.1109/srds.2007.26","mag":"2152862197"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/srds.2007.26","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.inria.fr/inria-00140964v2/file/RR-6167.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091223090","display_name":"Laurent Burgy","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Burgy","raw_affiliation_strings":["Phoenix Group-INRIA / LaBRI, University of Bordeaux 1, France"],"affiliations":[{"raw_affiliation_string":"Phoenix Group-INRIA / LaBRI, University of Bordeaux 1, France","institution_ids":["https://openalex.org/I4210142254","https://openalex.org/I1326498283","https://openalex.org/I15057530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041648277","display_name":"Laurent R\u00e9veill\u00e8re","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I15057530","display_name":"Universit\u00e9 de Bordeaux","ror":"https://ror.org/057qpr032","country_code":"FR","type":"education","lineage":["https://openalex.org/I15057530"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Reveillere","raw_affiliation_strings":["Phoenix Group-INRIA / LaBRI, University of Bordeaux 1, France"],"affiliations":[{"raw_affiliation_string":"Phoenix Group-INRIA / LaBRI, University of Bordeaux 1, France","institution_ids":["https://openalex.org/I4210142254","https://openalex.org/I1326498283","https://openalex.org/I15057530"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040879516","display_name":"Julia Lawall","orcid":"https://orcid.org/0000-0002-1684-1264"},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Julia L. Lawall","raw_affiliation_strings":["University of Copenhagen, Copenhagen, Denmark"],"affiliations":[{"raw_affiliation_string":"University of Copenhagen, Copenhagen, Denmark","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106355298","display_name":"Gilles Muller","orcid":"https://orcid.org/0000-0002-0000-8569"},"institutions":[{"id":"https://openalex.org/I70768539","display_name":"\u00c9cole Nationale Sup\u00e9rieure des Mines de Paris","ror":"https://ror.org/04y8cs423","country_code":"FR","type":"education","lineage":["https://openalex.org/I190752583","https://openalex.org/I70768539"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en informatique et en automatique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gilles Muller","raw_affiliation_strings":["INRIA / LINA, \u00c9cole des Mines de Nantes, France"],"affiliations":[{"raw_affiliation_string":"INRIA / LINA, \u00c9cole des Mines de Nantes, France","institution_ids":["https://openalex.org/I70768539","https://openalex.org/I1326498283"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.339,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.700805,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"160"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9992,"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"}},"topics":[{"id":"https://openalex.org/T10651","display_name":"IPv6, Mobility, Handover, Networks, Security","score":0.9992,"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"}},{"id":"https://openalex.org/T12326","display_name":"Network Packet Processing and Optimization","score":0.9978,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9978,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/zebu","display_name":"Zebu","score":0.523579}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.84195054},{"id":"https://openalex.org/C2776247511","wikidata":"https://www.wikidata.org/wiki/Q46889","display_name":"Zebu","level":2,"score":0.523579},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4975169},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.43173206},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.4289259},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.41566443},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3868718},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.34090954},{"id":"https://openalex.org/C140793950","wikidata":"https://www.wikidata.org/wiki/Q168091","display_name":"Animal science","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":9,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/srds.2007.26","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00140964v2/file/RR-6167.pdf","pdf_url":"https://hal.inria.fr/inria-00140964v2/file/RR-6167.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00350019/file/srds07.pdf","pdf_url":"https://hal.inria.fr/inria-00350019/file/srds07.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00140964v2/file/RR-6167.pdf","pdf_url":"https://inria.hal.science/inria-00140964v2/file/RR-6167.pdf","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00350019/document","pdf_url":"https://hal.inria.fr/inria-00350019/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00140964","pdf_url":"https://inria.hal.science/inria-00140964/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://inria.hal.science/inria-00140964v2/document","pdf_url":"https://inria.hal.science/inria-00140964v2/document","source":null,"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00350019","pdf_url":"https://inria.hal.science/inria-00350019/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"http://arxiv.org/abs/0704.1373","pdf_url":"http://arxiv.org/pdf/0704.1373","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":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.inria.fr/inria-00140964v2/file/RR-6167.pdf","pdf_url":"https://hal.inria.fr/inria-00140964v2/file/RR-6167.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, justice, and strong institutions"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":28,"referenced_works":["https://openalex.org/W1482382132","https://openalex.org/W1652311832","https://openalex.org/W1817780983","https://openalex.org/W1971903460","https://openalex.org/W1990751139","https://openalex.org/W1996565109","https://openalex.org/W2022274639","https://openalex.org/W2034362794","https://openalex.org/W2049695835","https://openalex.org/W2062156557","https://openalex.org/W2073904762","https://openalex.org/W2086802227","https://openalex.org/W2097725665","https://openalex.org/W2107103794","https://openalex.org/W2109507516","https://openalex.org/W2141950720","https://openalex.org/W2144825438","https://openalex.org/W2149827273","https://openalex.org/W2151829471","https://openalex.org/W2155814128","https://openalex.org/W2164989576","https://openalex.org/W2234029196","https://openalex.org/W4210595862","https://openalex.org/W4210597212","https://openalex.org/W4231859023","https://openalex.org/W4245268933","https://openalex.org/W4246839229","https://openalex.org/W4300955549"],"related_works":["https://openalex.org/W4379536100","https://openalex.org/W2761317983","https://openalex.org/W2496188146","https://openalex.org/W2245390655","https://openalex.org/W2127315869","https://openalex.org/W1991876452","https://openalex.org/W188282463","https://openalex.org/W1713081424","https://openalex.org/W1523769955","https://openalex.org/W1521320241"],"abstract_inverted_index":{"The":[0],"secure":[1],"and":[2,45,64,96,117,127],"robust":[3,44],"functioning":[4],"of":[5,13,103,115],"a":[6,38,108],"network":[7,14,17,25],"relies":[8],"on":[9,54,81],"the":[10,55,89,104,113],"defect-free":[11],"implementation":[12],"applications.":[15],"As":[16],"protocols":[18],"have":[19],"become":[20,30],"increasingly":[21,31],"complex,":[22],"however,":[23],"hand-writing":[24],"message":[26,47,62,73,105,109],"processing":[27,48,66],"code":[28,123],"has":[29],"error-prone.":[32],"In":[33],"this":[34],"paper,":[35],"we":[36,119],"present":[37],"domain-specific":[39],"language,":[40],"Zebu,":[41],"for":[42],"generating":[43],"efficient":[46],"layers.":[49],"A":[50],"Zebu":[51,90],"specification,":[52],"based":[53],"notation":[56],"used":[57],"in":[58,112],"RFCs,":[59],"describes":[60],"protocol":[61],"formats":[63],"related":[65],"constraints.":[67],"Zebu-based":[68,83],"applications":[69,84],"are":[70,85],"efficient,":[71],"since":[72],"fragments":[74],"can":[75],"be":[76,79],"specified":[77],"to":[78],"processed":[80],"demand.":[82],"also":[86],"robust,":[87],"as":[88],"compiler":[91],"automatically":[92],"checks":[93],"specification":[94],"consistency":[95],"generates":[97],"parsing":[98],"stubs":[99],"that":[100,121],"include":[101],"validation":[102],"structure.":[106],"Using":[107],"torture":[110],"suite":[111],"context":[114],"SIP":[116],"RTSP,":[118],"show":[120],"Zebu-generated":[122],"is":[124],"both":[125],"complete":[126],"defect-free.":[128]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2152862197","counts_by_year":[{"year":2013,"cited_by_count":2}],"updated_date":"2024-12-07T18:18:21.570498","created_date":"2016-06-24"}