{"id":"https://openalex.org/W43945400","doi":"https://doi.org/10.1007/978-3-663-05918-9_10","title":"Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI)","display_name":"Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI)","publication_year":2001,"publication_date":"2001-01-01","ids":{"openalex":"https://openalex.org/W43945400","doi":"https://doi.org/10.1007/978-3-663-05918-9_10","mag":"43945400"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-663-05918-9_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-663-05918-9_10","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Verl\u00e4ssliche IT-Systeme 2001","raw_type":"book-chapter"},"type":"book-chapter","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/A5021410622","display_name":"Catherine Meadows","orcid":"https://orcid.org/0009-0006-0673-711X"},"institutions":[{"id":"https://openalex.org/I1288214837","display_name":"United States Naval Research Laboratory","ror":"https://ror.org/04d23a975","country_code":"US","type":"facility","lineage":["https://openalex.org/I1288214837","https://openalex.org/I1330347796","https://openalex.org/I175003984","https://openalex.org/I3130687028"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Catherine Meadows","raw_affiliation_strings":["US Naval Research Laboratory, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"US Naval Research Laboratory, USA","institution_ids":["https://openalex.org/I1288214837"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021410622"],"corresponding_institution_ids":["https://openalex.org/I1288214837"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.01413428,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"147","last_page":"150"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9998999834060669,"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.9998999834060669,"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.9987999796867371,"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.9925000071525574,"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.7137572765350342},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.6074973940849304},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5877048969268799},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.5726242661476135},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.49270227551460266},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48773202300071716},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4622831642627716},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4389326870441437},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4290200471878052},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.428320050239563},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.42688241600990295},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.4219406843185425},{"id":"https://openalex.org/keywords/protocol-analysis","display_name":"Protocol analysis","score":0.41144639253616333},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.38963431119918823},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.20079496502876282},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1237870454788208},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08235439658164978}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7137572765350342},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.6074973940849304},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5877048969268799},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.5726242661476135},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.49270227551460266},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48773202300071716},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4622831642627716},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4389326870441437},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4290200471878052},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.428320050239563},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.42688241600990295},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.4219406843185425},{"id":"https://openalex.org/C133112747","wikidata":"https://www.wikidata.org/wiki/Q7251931","display_name":"Protocol analysis","level":2,"score":0.41144639253616333},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.38963431119918823},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.20079496502876282},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1237870454788208},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08235439658164978},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-663-05918-9_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-663-05918-9_10","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Verl\u00e4ssliche IT-Systeme 2001","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5299999713897705,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W1526715104","https://openalex.org/W1949661937","https://openalex.org/W1997596059","https://openalex.org/W2003915781","https://openalex.org/W2037515303"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2000943029","https://openalex.org/W2950376466","https://openalex.org/W2621980927","https://openalex.org/W4302559785","https://openalex.org/W1965722552","https://openalex.org/W4237112499","https://openalex.org/W2116900778"],"abstract_inverted_index":{"Although":[0],"research":[1],"in":[2,94,171],"the":[3,24,38,46,53,56,70,90,95,101,106,121,149,172,179,183,188],"application":[4],"of":[5,18,28,40,48,55,105,109,128,156,167,174,187],"formal":[6,67],"methods":[7],"to":[8,82,118,135,146],"cryptographic":[9,41],"protocol":[10,116],"analysis":[11,68,104,173,184],"has":[12,17,131],"been":[13,132],"growing":[14],"rapidly,":[15],"it":[16],"yet":[19],"had":[20],"little":[21],"influence":[22],"on":[23,100],"design":[25,71,102],"and":[26,103,137,140,144,176,185],"implementation":[27],"protocols":[29,42],"intended":[30,117],"for":[31,65],"actual":[32],"use.":[33],"This":[34],"is":[35],"not":[36,44],"because":[37],"designers":[39],"do":[43],"recognize":[45],"important":[47],"assurance,":[49],"but":[50],"rather":[51],"seems":[52],"result":[54],"fact":[57],"that":[58,191],"currently":[59],"there":[60],"are":[61,80],"no":[62],"good":[63],"pathways":[64],"introducing":[66],"into":[69],"process.":[72],"In":[73,159],"this":[74,85,160],"paper":[75,161],"we":[76,79,162],"describe":[77],"how":[78],"attempting":[81],"help":[83],"remedy":[84],"lack":[86],"by":[87,152,182,193],"working":[88,92],"with":[89,120],"MSec":[91],"group":[93],"Internet":[96,122],"Engineering":[97],"Task":[98],"Force":[99],"Group":[107],"Domain":[108],"Interpretation":[110],"Protocol":[111],"(GDOI),":[112],"a":[113,164],"secure":[114],"multicast":[115],"work":[119,130,170],"Key":[123],"Exchange":[124],"protocol.":[125],"The":[126],"purpose":[127],"our":[129,168,194],"two-fold:":[133],"first,":[134],"identify":[136],"correct":[138],"errors":[139],"ambiguities":[141],"early":[142],"on,":[143],"secondly":[145],"speed":[147],"up":[148],"standardization":[150],"process":[151],"providing":[153],"increased":[154],"evidence":[155],"GDOI\u2019s":[157],"soundness.":[158],"give":[163],"brief":[165],"description":[166],"ongoing":[169],"GDOI,":[175],"point":[177],"both":[178],"benefits":[180],"realized":[181],"some":[186],"open":[189],"questions":[190],"raised":[192],"experiences.":[195]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}