Matches in SemOpenAlex for { <https://semopenalex.org/work/W43945400> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W43945400 endingPage "150" @default.
- W43945400 startingPage "147" @default.
- W43945400 abstract "Although research in the application of formal methods to cryptographic protocol analysis has been growing rapidly, it has of yet had little influence on the design and implementation of protocols intended for actual use. This is not because the designers of cryptographic protocols do not recognize the important of assurance, but rather seems the result of the fact that currently there are no good pathways for introducing formal analysis into the design process. In this paper we describe how we are attempting to help remedy this lack by working with the MSec working group in the Internet Engineering Task Force on the design and analysis of the Group Domain of Interpretation Protocol (GDOI), a secure multicast protocol intended to work with the Internet Key Exchange protocol. The purpose of our work has been two-fold: first, to identify and correct errors and ambiguities early on, and secondly to speed up the standardization process by providing increased evidence of GDOI’s soundness. In this paper we give a brief description of our ongoing work in the analysis of GDOI, and point both the benefits realized by the analysis and some of the open questions that raised by our experiences." @default.
- W43945400 created "2016-06-24" @default.
- W43945400 creator A5021410622 @default.
- W43945400 date "2001-01-01" @default.
- W43945400 modified "2023-10-18" @default.
- W43945400 title "Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI)" @default.
- W43945400 cites W1949661937 @default.
- W43945400 cites W2003915781 @default.
- W43945400 doi "https://doi.org/10.1007/978-3-663-05918-9_10" @default.
- W43945400 hasPublicationYear "2001" @default.
- W43945400 type Work @default.
- W43945400 sameAs 43945400 @default.
- W43945400 citedByCount "0" @default.
- W43945400 crossrefType "book-chapter" @default.
- W43945400 hasAuthorship W43945400A5021410622 @default.
- W43945400 hasConcept C110875604 @default.
- W43945400 hasConcept C111919701 @default.
- W43945400 hasConcept C115903868 @default.
- W43945400 hasConcept C134306372 @default.
- W43945400 hasConcept C136764020 @default.
- W43945400 hasConcept C142724271 @default.
- W43945400 hasConcept C165751822 @default.
- W43945400 hasConcept C178489894 @default.
- W43945400 hasConcept C188087704 @default.
- W43945400 hasConcept C199360897 @default.
- W43945400 hasConcept C204787440 @default.
- W43945400 hasConcept C2780385302 @default.
- W43945400 hasConcept C33884865 @default.
- W43945400 hasConcept C33923547 @default.
- W43945400 hasConcept C36503486 @default.
- W43945400 hasConcept C38652104 @default.
- W43945400 hasConcept C39920170 @default.
- W43945400 hasConcept C41008148 @default.
- W43945400 hasConcept C527412718 @default.
- W43945400 hasConcept C71924100 @default.
- W43945400 hasConcept C75606506 @default.
- W43945400 hasConcept C98045186 @default.
- W43945400 hasConceptScore W43945400C110875604 @default.
- W43945400 hasConceptScore W43945400C111919701 @default.
- W43945400 hasConceptScore W43945400C115903868 @default.
- W43945400 hasConceptScore W43945400C134306372 @default.
- W43945400 hasConceptScore W43945400C136764020 @default.
- W43945400 hasConceptScore W43945400C142724271 @default.
- W43945400 hasConceptScore W43945400C165751822 @default.
- W43945400 hasConceptScore W43945400C178489894 @default.
- W43945400 hasConceptScore W43945400C188087704 @default.
- W43945400 hasConceptScore W43945400C199360897 @default.
- W43945400 hasConceptScore W43945400C204787440 @default.
- W43945400 hasConceptScore W43945400C2780385302 @default.
- W43945400 hasConceptScore W43945400C33884865 @default.
- W43945400 hasConceptScore W43945400C33923547 @default.
- W43945400 hasConceptScore W43945400C36503486 @default.
- W43945400 hasConceptScore W43945400C38652104 @default.
- W43945400 hasConceptScore W43945400C39920170 @default.
- W43945400 hasConceptScore W43945400C41008148 @default.
- W43945400 hasConceptScore W43945400C527412718 @default.
- W43945400 hasConceptScore W43945400C71924100 @default.
- W43945400 hasConceptScore W43945400C75606506 @default.
- W43945400 hasConceptScore W43945400C98045186 @default.
- W43945400 hasLocation W439454001 @default.
- W43945400 hasOpenAccess W43945400 @default.
- W43945400 hasPrimaryLocation W439454001 @default.
- W43945400 hasRelatedWork W1554289623 @default.
- W43945400 hasRelatedWork W1614600332 @default.
- W43945400 hasRelatedWork W2104254650 @default.
- W43945400 hasRelatedWork W2148742293 @default.
- W43945400 hasRelatedWork W2160450576 @default.
- W43945400 hasRelatedWork W2352858694 @default.
- W43945400 hasRelatedWork W2375873335 @default.
- W43945400 hasRelatedWork W2392792567 @default.
- W43945400 hasRelatedWork W2502550715 @default.
- W43945400 hasRelatedWork W2508276376 @default.
- W43945400 isParatext "false" @default.
- W43945400 isRetracted "false" @default.
- W43945400 magId "43945400" @default.
- W43945400 workType "book-chapter" @default.