Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098339462> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2098339462 abstract "We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the intricate structure of the Kerberos 5 specification, taking into account several protocol features which have not been previously considered. In the abstract formalization, we prove an authentication property about Kerberos 5. We discovered three anomalies, one of which occurs on both levels of detail, while the other two rely on the richer structure of the detailed formalization. We also discuss how the addition of checksums (some of which are in the protocol specification and some of which are not) may eliminate some of these anomalies." @default.
- W2098339462 created "2016-06-24" @default.
- W2098339462 creator A5054465062 @default.
- W2098339462 creator A5061649545 @default.
- W2098339462 creator A5082115664 @default.
- W2098339462 creator A5083094305 @default.
- W2098339462 date "2005-08-25" @default.
- W2098339462 modified "2023-09-23" @default.
- W2098339462 title "A formal analysis of ome properties of kerberos 5 using MSR" @default.
- W2098339462 cites W1567557053 @default.
- W2098339462 cites W1585877836 @default.
- W2098339462 cites W1635413415 @default.
- W2098339462 cites W1670563787 @default.
- W2098339462 cites W1805567723 @default.
- W2098339462 cites W2052539228 @default.
- W2098339462 cites W2104130981 @default.
- W2098339462 cites W2106539366 @default.
- W2098339462 cites W2114497629 @default.
- W2098339462 cites W2119579128 @default.
- W2098339462 cites W2131895477 @default.
- W2098339462 cites W2150682469 @default.
- W2098339462 cites W2164587664 @default.
- W2098339462 cites W2193211310 @default.
- W2098339462 cites W228572347 @default.
- W2098339462 doi "https://doi.org/10.1109/csfw.2002.1021815" @default.
- W2098339462 hasPublicationYear "2005" @default.
- W2098339462 type Work @default.
- W2098339462 sameAs 2098339462 @default.
- W2098339462 citedByCount "34" @default.
- W2098339462 countsByYear W20983394622012 @default.
- W2098339462 countsByYear W20983394622013 @default.
- W2098339462 countsByYear W20983394622014 @default.
- W2098339462 countsByYear W20983394622015 @default.
- W2098339462 countsByYear W20983394622018 @default.
- W2098339462 crossrefType "proceedings-article" @default.
- W2098339462 hasAuthorship W2098339462A5054465062 @default.
- W2098339462 hasAuthorship W2098339462A5061649545 @default.
- W2098339462 hasAuthorship W2098339462A5082115664 @default.
- W2098339462 hasAuthorship W2098339462A5083094305 @default.
- W2098339462 hasConcept C111919701 @default.
- W2098339462 hasConcept C142362112 @default.
- W2098339462 hasConcept C142724271 @default.
- W2098339462 hasConcept C148417208 @default.
- W2098339462 hasConcept C153349607 @default.
- W2098339462 hasConcept C154690210 @default.
- W2098339462 hasConcept C162372511 @default.
- W2098339462 hasConcept C199360897 @default.
- W2098339462 hasConcept C204787440 @default.
- W2098339462 hasConcept C2780385302 @default.
- W2098339462 hasConcept C32455479 @default.
- W2098339462 hasConcept C38652104 @default.
- W2098339462 hasConcept C41008148 @default.
- W2098339462 hasConcept C558565934 @default.
- W2098339462 hasConcept C71924100 @default.
- W2098339462 hasConcept C73301696 @default.
- W2098339462 hasConcept C80444323 @default.
- W2098339462 hasConceptScore W2098339462C111919701 @default.
- W2098339462 hasConceptScore W2098339462C142362112 @default.
- W2098339462 hasConceptScore W2098339462C142724271 @default.
- W2098339462 hasConceptScore W2098339462C148417208 @default.
- W2098339462 hasConceptScore W2098339462C153349607 @default.
- W2098339462 hasConceptScore W2098339462C154690210 @default.
- W2098339462 hasConceptScore W2098339462C162372511 @default.
- W2098339462 hasConceptScore W2098339462C199360897 @default.
- W2098339462 hasConceptScore W2098339462C204787440 @default.
- W2098339462 hasConceptScore W2098339462C2780385302 @default.
- W2098339462 hasConceptScore W2098339462C32455479 @default.
- W2098339462 hasConceptScore W2098339462C38652104 @default.
- W2098339462 hasConceptScore W2098339462C41008148 @default.
- W2098339462 hasConceptScore W2098339462C558565934 @default.
- W2098339462 hasConceptScore W2098339462C71924100 @default.
- W2098339462 hasConceptScore W2098339462C73301696 @default.
- W2098339462 hasConceptScore W2098339462C80444323 @default.
- W2098339462 hasLocation W20983394621 @default.
- W2098339462 hasOpenAccess W2098339462 @default.
- W2098339462 hasPrimaryLocation W20983394621 @default.
- W2098339462 hasRelatedWork W1567557053 @default.
- W2098339462 hasRelatedWork W1585877836 @default.
- W2098339462 hasRelatedWork W1597908183 @default.
- W2098339462 hasRelatedWork W1635413415 @default.
- W2098339462 hasRelatedWork W1670563787 @default.
- W2098339462 hasRelatedWork W2029693536 @default.
- W2098339462 hasRelatedWork W2106539366 @default.
- W2098339462 hasRelatedWork W2114497629 @default.
- W2098339462 hasRelatedWork W2117064875 @default.
- W2098339462 hasRelatedWork W2118377274 @default.
- W2098339462 hasRelatedWork W2131895477 @default.
- W2098339462 hasRelatedWork W2139596501 @default.
- W2098339462 hasRelatedWork W2141078998 @default.
- W2098339462 hasRelatedWork W2145415641 @default.
- W2098339462 hasRelatedWork W2146973388 @default.
- W2098339462 hasRelatedWork W2150426251 @default.
- W2098339462 hasRelatedWork W2150682469 @default.
- W2098339462 hasRelatedWork W2166933234 @default.
- W2098339462 hasRelatedWork W2171075846 @default.
- W2098339462 hasRelatedWork W3162919972 @default.
- W2098339462 isParatext "false" @default.
- W2098339462 isRetracted "false" @default.
- W2098339462 magId "2098339462" @default.
- W2098339462 workType "article" @default.