Matches in SemOpenAlex for { <https://semopenalex.org/work/W2351120383> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2351120383 abstract "Public-Key Kerberos is a widely deployed protocol.This paper models and verifies the authentication service exchange of Public-Key Kerberos(PKINIT)by SPVT which finds a man-in-the-middle attack.This flaw allows an attacker to impersonate the key distribution center and end-servers to deceive the clients and steal key data.It is the first time to check this attack automatically by the security protocol verification tool.The result is important in the verification of sophisticated protocols.With the help of SPVT,the flaws can be found as soon as possible.It also argues that SPVT is an effective verification tool in modeling and verifying sophisticated protocols." @default.
- W2351120383 created "2016-06-24" @default.
- W2351120383 creator A5036786337 @default.
- W2351120383 date "2008-01-01" @default.
- W2351120383 modified "2023-09-26" @default.
- W2351120383 title "Modeling and Verifying the Authentication Service Exchange of the Public-Key Kerberos Protocol" @default.
- W2351120383 hasPublicationYear "2008" @default.
- W2351120383 type Work @default.
- W2351120383 sameAs 2351120383 @default.
- W2351120383 citedByCount "0" @default.
- W2351120383 crossrefType "journal-article" @default.
- W2351120383 hasAuthorship W2351120383A5036786337 @default.
- W2351120383 hasConcept C135530808 @default.
- W2351120383 hasConcept C136264566 @default.
- W2351120383 hasConcept C142724271 @default.
- W2351120383 hasConcept C148417208 @default.
- W2351120383 hasConcept C148730421 @default.
- W2351120383 hasConcept C160333310 @default.
- W2351120383 hasConcept C162324750 @default.
- W2351120383 hasConcept C178489894 @default.
- W2351120383 hasConcept C203062551 @default.
- W2351120383 hasConcept C204787440 @default.
- W2351120383 hasConcept C21564112 @default.
- W2351120383 hasConcept C26517878 @default.
- W2351120383 hasConcept C2777331311 @default.
- W2351120383 hasConcept C2777572472 @default.
- W2351120383 hasConcept C2780378061 @default.
- W2351120383 hasConcept C2780385302 @default.
- W2351120383 hasConcept C32455479 @default.
- W2351120383 hasConcept C33884865 @default.
- W2351120383 hasConcept C38652104 @default.
- W2351120383 hasConcept C41008148 @default.
- W2351120383 hasConcept C71924100 @default.
- W2351120383 hasConcept C99674996 @default.
- W2351120383 hasConceptScore W2351120383C135530808 @default.
- W2351120383 hasConceptScore W2351120383C136264566 @default.
- W2351120383 hasConceptScore W2351120383C142724271 @default.
- W2351120383 hasConceptScore W2351120383C148417208 @default.
- W2351120383 hasConceptScore W2351120383C148730421 @default.
- W2351120383 hasConceptScore W2351120383C160333310 @default.
- W2351120383 hasConceptScore W2351120383C162324750 @default.
- W2351120383 hasConceptScore W2351120383C178489894 @default.
- W2351120383 hasConceptScore W2351120383C203062551 @default.
- W2351120383 hasConceptScore W2351120383C204787440 @default.
- W2351120383 hasConceptScore W2351120383C21564112 @default.
- W2351120383 hasConceptScore W2351120383C26517878 @default.
- W2351120383 hasConceptScore W2351120383C2777331311 @default.
- W2351120383 hasConceptScore W2351120383C2777572472 @default.
- W2351120383 hasConceptScore W2351120383C2780378061 @default.
- W2351120383 hasConceptScore W2351120383C2780385302 @default.
- W2351120383 hasConceptScore W2351120383C32455479 @default.
- W2351120383 hasConceptScore W2351120383C33884865 @default.
- W2351120383 hasConceptScore W2351120383C38652104 @default.
- W2351120383 hasConceptScore W2351120383C41008148 @default.
- W2351120383 hasConceptScore W2351120383C71924100 @default.
- W2351120383 hasConceptScore W2351120383C99674996 @default.
- W2351120383 hasLocation W23511203831 @default.
- W2351120383 hasOpenAccess W2351120383 @default.
- W2351120383 hasPrimaryLocation W23511203831 @default.
- W2351120383 hasRelatedWork W113821320 @default.
- W2351120383 hasRelatedWork W122318727 @default.
- W2351120383 hasRelatedWork W1986267295 @default.
- W2351120383 hasRelatedWork W2001288966 @default.
- W2351120383 hasRelatedWork W2005787848 @default.
- W2351120383 hasRelatedWork W2014544880 @default.
- W2351120383 hasRelatedWork W2038957924 @default.
- W2351120383 hasRelatedWork W2040053765 @default.
- W2351120383 hasRelatedWork W2057703421 @default.
- W2351120383 hasRelatedWork W2078264993 @default.
- W2351120383 hasRelatedWork W2111618112 @default.
- W2351120383 hasRelatedWork W2124988324 @default.
- W2351120383 hasRelatedWork W2125534038 @default.
- W2351120383 hasRelatedWork W2127472123 @default.
- W2351120383 hasRelatedWork W2136908128 @default.
- W2351120383 hasRelatedWork W2164584746 @default.
- W2351120383 hasRelatedWork W2202823076 @default.
- W2351120383 hasRelatedWork W2208805443 @default.
- W2351120383 hasRelatedWork W2393175958 @default.
- W2351120383 hasRelatedWork W424338548 @default.
- W2351120383 isParatext "false" @default.
- W2351120383 isRetracted "false" @default.
- W2351120383 magId "2351120383" @default.
- W2351120383 workType "article" @default.