Matches in SemOpenAlex for { <https://semopenalex.org/work/W1586770912> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1586770912 endingPage "532" @default.
- W1586770912 startingPage "513" @default.
- W1586770912 abstract "The standard Kripke semantics of epistemic logics has been applied successfully to reasoning communication protocols under the assumption that the network is not hostile. This paper introduces a natural semantics of Kripke semantics called knowledge structure and, by this kind of Kripke semantics, analyzes communication protocols over hostile networks, especially on authentication protocols. Compared with BAN-like logics,the method is automatically implementable because it operates on the actual definitions of the protocols, not on some difficult-to-establish justifications of them. What is more,the corresponding tool called SPV (Security Protocol Verifier) has been developed. Another salient point of this approach is that it is justification-oriented instead of falsificationoriented, i.e. finding bugs in protocols." @default.
- W1586770912 created "2016-06-24" @default.
- W1586770912 creator A5011208781 @default.
- W1586770912 creator A5046562896 @default.
- W1586770912 creator A5069277839 @default.
- W1586770912 date "2005-01-01" @default.
- W1586770912 modified "2023-09-23" @default.
- W1586770912 title "Knowledge structure approach to verification of authentication protocols" @default.
- W1586770912 hasPublicationYear "2005" @default.
- W1586770912 type Work @default.
- W1586770912 sameAs 1586770912 @default.
- W1586770912 citedByCount "0" @default.
- W1586770912 crossrefType "journal-article" @default.
- W1586770912 hasAuthorship W1586770912A5011208781 @default.
- W1586770912 hasAuthorship W1586770912A5046562896 @default.
- W1586770912 hasAuthorship W1586770912A5069277839 @default.
- W1586770912 hasConcept C102993220 @default.
- W1586770912 hasConcept C142724271 @default.
- W1586770912 hasConcept C148417208 @default.
- W1586770912 hasConcept C160131679 @default.
- W1586770912 hasConcept C178489894 @default.
- W1586770912 hasConcept C184337299 @default.
- W1586770912 hasConcept C199360897 @default.
- W1586770912 hasConcept C203659156 @default.
- W1586770912 hasConcept C204787440 @default.
- W1586770912 hasConcept C21564112 @default.
- W1586770912 hasConcept C2780385302 @default.
- W1586770912 hasConcept C33884865 @default.
- W1586770912 hasConcept C38652104 @default.
- W1586770912 hasConcept C41008148 @default.
- W1586770912 hasConcept C71924100 @default.
- W1586770912 hasConcept C80444323 @default.
- W1586770912 hasConceptScore W1586770912C102993220 @default.
- W1586770912 hasConceptScore W1586770912C142724271 @default.
- W1586770912 hasConceptScore W1586770912C148417208 @default.
- W1586770912 hasConceptScore W1586770912C160131679 @default.
- W1586770912 hasConceptScore W1586770912C178489894 @default.
- W1586770912 hasConceptScore W1586770912C184337299 @default.
- W1586770912 hasConceptScore W1586770912C199360897 @default.
- W1586770912 hasConceptScore W1586770912C203659156 @default.
- W1586770912 hasConceptScore W1586770912C204787440 @default.
- W1586770912 hasConceptScore W1586770912C21564112 @default.
- W1586770912 hasConceptScore W1586770912C2780385302 @default.
- W1586770912 hasConceptScore W1586770912C33884865 @default.
- W1586770912 hasConceptScore W1586770912C38652104 @default.
- W1586770912 hasConceptScore W1586770912C41008148 @default.
- W1586770912 hasConceptScore W1586770912C71924100 @default.
- W1586770912 hasConceptScore W1586770912C80444323 @default.
- W1586770912 hasIssue "4" @default.
- W1586770912 hasLocation W15867709121 @default.
- W1586770912 hasOpenAccess W1586770912 @default.
- W1586770912 hasPrimaryLocation W15867709121 @default.
- W1586770912 hasRelatedWork W117052899 @default.
- W1586770912 hasRelatedWork W1548945677 @default.
- W1586770912 hasRelatedWork W1553209130 @default.
- W1586770912 hasRelatedWork W1563328497 @default.
- W1586770912 hasRelatedWork W1581458632 @default.
- W1586770912 hasRelatedWork W1593554761 @default.
- W1586770912 hasRelatedWork W1834151623 @default.
- W1586770912 hasRelatedWork W1914742777 @default.
- W1586770912 hasRelatedWork W192014798 @default.
- W1586770912 hasRelatedWork W2030664040 @default.
- W1586770912 hasRelatedWork W2032692967 @default.
- W1586770912 hasRelatedWork W2046551143 @default.
- W1586770912 hasRelatedWork W2070207454 @default.
- W1586770912 hasRelatedWork W2105476775 @default.
- W1586770912 hasRelatedWork W2127042748 @default.
- W1586770912 hasRelatedWork W2136859846 @default.
- W1586770912 hasRelatedWork W2140761632 @default.
- W1586770912 hasRelatedWork W2145946155 @default.
- W1586770912 hasRelatedWork W2377695954 @default.
- W1586770912 hasRelatedWork W2576158814 @default.
- W1586770912 hasVolume "48" @default.
- W1586770912 isParatext "false" @default.
- W1586770912 isRetracted "false" @default.
- W1586770912 magId "1586770912" @default.
- W1586770912 workType "article" @default.