Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028536637> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2028536637 abstract "Formal specification and analysis of security protocol is a research hotspot in network security at present. This paper models authentication service exchange of Public-Key Kerberos Protocol and an attack against this protocol with Petri nets. The Maria Tool automates analysis and verification of the model and finds that PKINIT-26 protocol has a security flaw. So we improve the model according to PKINIT-27 specification and verify authenticity of the improved model. It argues that Maria has the ability to analyze and verify sophisticated security protocols. Furthermore, it can be widely applied for automated analysis and verification of security protocol." @default.
- W2028536637 created "2016-06-24" @default.
- W2028536637 creator A5026296385 @default.
- W2028536637 creator A5035199572 @default.
- W2028536637 creator A5037100018 @default.
- W2028536637 creator A5057105337 @default.
- W2028536637 date "2010-10-01" @default.
- W2028536637 modified "2023-10-18" @default.
- W2028536637 title "Analyzing and verifying Petri net model of security protocol based on Maria" @default.
- W2028536637 cites W2070474470 @default.
- W2028536637 cites W2166933234 @default.
- W2028536637 cites W2182559269 @default.
- W2028536637 cites W2347260599 @default.
- W2028536637 cites W2348048141 @default.
- W2028536637 cites W2349732132 @default.
- W2028536637 cites W2349828092 @default.
- W2028536637 cites W2355585077 @default.
- W2028536637 cites W2360499777 @default.
- W2028536637 cites W2362243216 @default.
- W2028536637 doi "https://doi.org/10.1109/iccasm.2010.5620733" @default.
- W2028536637 hasPublicationYear "2010" @default.
- W2028536637 type Work @default.
- W2028536637 sameAs 2028536637 @default.
- W2028536637 citedByCount "0" @default.
- W2028536637 crossrefType "proceedings-article" @default.
- W2028536637 hasAuthorship W2028536637A5026296385 @default.
- W2028536637 hasAuthorship W2028536637A5035199572 @default.
- W2028536637 hasAuthorship W2028536637A5037100018 @default.
- W2028536637 hasAuthorship W2028536637A5057105337 @default.
- W2028536637 hasConcept C111498074 @default.
- W2028536637 hasConcept C115903868 @default.
- W2028536637 hasConcept C120314980 @default.
- W2028536637 hasConcept C121822524 @default.
- W2028536637 hasConcept C142724271 @default.
- W2028536637 hasConcept C148417208 @default.
- W2028536637 hasConcept C148730421 @default.
- W2028536637 hasConcept C178489894 @default.
- W2028536637 hasConcept C199360897 @default.
- W2028536637 hasConcept C203062551 @default.
- W2028536637 hasConcept C204787440 @default.
- W2028536637 hasConcept C2780385302 @default.
- W2028536637 hasConcept C29983905 @default.
- W2028536637 hasConcept C31258907 @default.
- W2028536637 hasConcept C32455479 @default.
- W2028536637 hasConcept C33884865 @default.
- W2028536637 hasConcept C38369872 @default.
- W2028536637 hasConcept C38652104 @default.
- W2028536637 hasConcept C38677869 @default.
- W2028536637 hasConcept C41008148 @default.
- W2028536637 hasConcept C527648132 @default.
- W2028536637 hasConcept C71924100 @default.
- W2028536637 hasConcept C75606506 @default.
- W2028536637 hasConcept C99674996 @default.
- W2028536637 hasConceptScore W2028536637C111498074 @default.
- W2028536637 hasConceptScore W2028536637C115903868 @default.
- W2028536637 hasConceptScore W2028536637C120314980 @default.
- W2028536637 hasConceptScore W2028536637C121822524 @default.
- W2028536637 hasConceptScore W2028536637C142724271 @default.
- W2028536637 hasConceptScore W2028536637C148417208 @default.
- W2028536637 hasConceptScore W2028536637C148730421 @default.
- W2028536637 hasConceptScore W2028536637C178489894 @default.
- W2028536637 hasConceptScore W2028536637C199360897 @default.
- W2028536637 hasConceptScore W2028536637C203062551 @default.
- W2028536637 hasConceptScore W2028536637C204787440 @default.
- W2028536637 hasConceptScore W2028536637C2780385302 @default.
- W2028536637 hasConceptScore W2028536637C29983905 @default.
- W2028536637 hasConceptScore W2028536637C31258907 @default.
- W2028536637 hasConceptScore W2028536637C32455479 @default.
- W2028536637 hasConceptScore W2028536637C33884865 @default.
- W2028536637 hasConceptScore W2028536637C38369872 @default.
- W2028536637 hasConceptScore W2028536637C38652104 @default.
- W2028536637 hasConceptScore W2028536637C38677869 @default.
- W2028536637 hasConceptScore W2028536637C41008148 @default.
- W2028536637 hasConceptScore W2028536637C527648132 @default.
- W2028536637 hasConceptScore W2028536637C71924100 @default.
- W2028536637 hasConceptScore W2028536637C75606506 @default.
- W2028536637 hasConceptScore W2028536637C99674996 @default.
- W2028536637 hasLocation W20285366371 @default.
- W2028536637 hasOpenAccess W2028536637 @default.
- W2028536637 hasPrimaryLocation W20285366371 @default.
- W2028536637 hasRelatedWork W1487556734 @default.
- W2028536637 hasRelatedWork W1488906949 @default.
- W2028536637 hasRelatedWork W1844392338 @default.
- W2028536637 hasRelatedWork W1955151793 @default.
- W2028536637 hasRelatedWork W2010085518 @default.
- W2028536637 hasRelatedWork W2028536637 @default.
- W2028536637 hasRelatedWork W2351120383 @default.
- W2028536637 hasRelatedWork W2367338759 @default.
- W2028536637 hasRelatedWork W3195071624 @default.
- W2028536637 hasRelatedWork W2109026914 @default.
- W2028536637 isParatext "false" @default.
- W2028536637 isRetracted "false" @default.
- W2028536637 magId "2028536637" @default.
- W2028536637 workType "article" @default.