Matches in SemOpenAlex for { <https://semopenalex.org/work/W2958291238> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2958291238 abstract "The authentication properties of a security protocol are specified based on the knowledge gained by the principals that exchange messages with respect to the steps of that protocol. As there are many successful attacks on authentication protocols, different formal systems, in particular epistemic and temporal epistemic logics, have been developed for analyzing such protocols. However, such logics may fail to detect some attacks. To promote the specification and verification power of these logics, researchers may try to construct them in such a way that they preserve some properties such as soundness, completeness, being omniscience-free, or expressiveness. The aim of this paper is to provide an overview of the epistemic and temporal epistemic logics which are applied in the analysis of authentication protocols to find out how far these logical properties may affect analyzing such protocols." @default.
- W2958291238 created "2019-07-23" @default.
- W2958291238 creator A5004321517 @default.
- W2958291238 creator A5078100736 @default.
- W2958291238 creator A5078318749 @default.
- W2958291238 date "2019-06-15" @default.
- W2958291238 modified "2023-09-26" @default.
- W2958291238 title "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication" @default.
- W2958291238 cites W1530405974 @default.
- W2958291238 cites W1547317020 @default.
- W2958291238 cites W2010939995 @default.
- W2958291238 cites W2106238708 @default.
- W2958291238 cites W2111592025 @default.
- W2958291238 cites W2127035198 @default.
- W2958291238 cites W2134943768 @default.
- W2958291238 cites W2166519482 @default.
- W2958291238 cites W2474505510 @default.
- W2958291238 cites W2799061192 @default.
- W2958291238 cites W407099772 @default.
- W2958291238 cites W67051990 @default.
- W2958291238 doi "https://doi.org/10.31449/inf.v43i2.1617" @default.
- W2958291238 hasPublicationYear "2019" @default.
- W2958291238 type Work @default.
- W2958291238 sameAs 2958291238 @default.
- W2958291238 citedByCount "0" @default.
- W2958291238 crossrefType "journal-article" @default.
- W2958291238 hasAuthorship W2958291238A5004321517 @default.
- W2958291238 hasAuthorship W2958291238A5078100736 @default.
- W2958291238 hasAuthorship W2958291238A5078318749 @default.
- W2958291238 hasBestOaLocation W29582912381 @default.
- W2958291238 hasConcept C111472728 @default.
- W2958291238 hasConcept C134306372 @default.
- W2958291238 hasConcept C138885662 @default.
- W2958291238 hasConcept C142724271 @default.
- W2958291238 hasConcept C148417208 @default.
- W2958291238 hasConcept C17231256 @default.
- W2958291238 hasConcept C199360897 @default.
- W2958291238 hasConcept C204787440 @default.
- W2958291238 hasConcept C21564112 @default.
- W2958291238 hasConcept C2780385302 @default.
- W2958291238 hasConcept C2780801425 @default.
- W2958291238 hasConcept C33923547 @default.
- W2958291238 hasConcept C38652104 @default.
- W2958291238 hasConcept C39920170 @default.
- W2958291238 hasConcept C41008148 @default.
- W2958291238 hasConcept C71924100 @default.
- W2958291238 hasConceptScore W2958291238C111472728 @default.
- W2958291238 hasConceptScore W2958291238C134306372 @default.
- W2958291238 hasConceptScore W2958291238C138885662 @default.
- W2958291238 hasConceptScore W2958291238C142724271 @default.
- W2958291238 hasConceptScore W2958291238C148417208 @default.
- W2958291238 hasConceptScore W2958291238C17231256 @default.
- W2958291238 hasConceptScore W2958291238C199360897 @default.
- W2958291238 hasConceptScore W2958291238C204787440 @default.
- W2958291238 hasConceptScore W2958291238C21564112 @default.
- W2958291238 hasConceptScore W2958291238C2780385302 @default.
- W2958291238 hasConceptScore W2958291238C2780801425 @default.
- W2958291238 hasConceptScore W2958291238C33923547 @default.
- W2958291238 hasConceptScore W2958291238C38652104 @default.
- W2958291238 hasConceptScore W2958291238C39920170 @default.
- W2958291238 hasConceptScore W2958291238C41008148 @default.
- W2958291238 hasConceptScore W2958291238C71924100 @default.
- W2958291238 hasIssue "2" @default.
- W2958291238 hasLocation W29582912381 @default.
- W2958291238 hasOpenAccess W2958291238 @default.
- W2958291238 hasPrimaryLocation W29582912381 @default.
- W2958291238 hasRelatedWork W1553974850 @default.
- W2958291238 hasRelatedWork W2014544880 @default.
- W2958291238 hasRelatedWork W2047666116 @default.
- W2958291238 hasRelatedWork W2136859846 @default.
- W2958291238 hasRelatedWork W2286268053 @default.
- W2958291238 hasRelatedWork W2366025397 @default.
- W2958291238 hasRelatedWork W2590345004 @default.
- W2958291238 hasRelatedWork W2602592226 @default.
- W2958291238 hasRelatedWork W4200286723 @default.
- W2958291238 hasRelatedWork W2509423372 @default.
- W2958291238 hasVolume "43" @default.
- W2958291238 isParatext "false" @default.
- W2958291238 isRetracted "false" @default.
- W2958291238 magId "2958291238" @default.
- W2958291238 workType "article" @default.