Matches in SemOpenAlex for { <https://semopenalex.org/work/W2894528028> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2894528028 abstract "The Near Filed Communication (NFC) is widely used on mobile devices and make it possible to take advantage of NFC system to complete mobile payment. But with the development of NFC, its problem are increasingly exposed, especially the security and privacy of authentication. Logic of events is a formal method to describe the protocol state transition and algorithm in concurrent and distributed systems, which can be used to prove the security of network protocols. Based on logic of events, we propose migration rule and derive inheritability to reduce redundancy and complexity of protocol analysis procedure, and improve efficiency of protocol analysis. We study the KerNeeS protocol which providing mutual authentication between POS and NFC phone, and conclude that the protocol can guarantee authentication between entities involved in the payment for secure payment transactions. The logic of events can be applied to the formal analysis of similar mobile payment protocols." @default.
- W2894528028 created "2018-10-05" @default.
- W2894528028 creator A5031932067 @default.
- W2894528028 creator A5047250673 @default.
- W2894528028 creator A5061130250 @default.
- W2894528028 date "2018-01-01" @default.
- W2894528028 modified "2023-09-27" @default.
- W2894528028 title "Security Proof of KerNeeS Protocol Based on Logic of Events" @default.
- W2894528028 cites W1527386734 @default.
- W2894528028 cites W2131921367 @default.
- W2894528028 cites W2168277905 @default.
- W2894528028 cites W2332825519 @default.
- W2894528028 cites W2332831973 @default.
- W2894528028 cites W2334019504 @default.
- W2894528028 cites W2348322870 @default.
- W2894528028 cites W2414486980 @default.
- W2894528028 cites W892286096 @default.
- W2894528028 doi "https://doi.org/10.1007/978-981-13-2712-4_5" @default.
- W2894528028 hasPublicationYear "2018" @default.
- W2894528028 type Work @default.
- W2894528028 sameAs 2894528028 @default.
- W2894528028 citedByCount "0" @default.
- W2894528028 crossrefType "book-chapter" @default.
- W2894528028 hasAuthorship W2894528028A5031932067 @default.
- W2894528028 hasAuthorship W2894528028A5047250673 @default.
- W2894528028 hasAuthorship W2894528028A5061130250 @default.
- W2894528028 hasConcept C111919701 @default.
- W2894528028 hasConcept C124086997 @default.
- W2894528028 hasConcept C131129157 @default.
- W2894528028 hasConcept C136764020 @default.
- W2894528028 hasConcept C142724271 @default.
- W2894528028 hasConcept C144543869 @default.
- W2894528028 hasConcept C145097563 @default.
- W2894528028 hasConcept C148417208 @default.
- W2894528028 hasConcept C152124472 @default.
- W2894528028 hasConcept C160949748 @default.
- W2894528028 hasConcept C178489894 @default.
- W2894528028 hasConcept C204787440 @default.
- W2894528028 hasConcept C21564112 @default.
- W2894528028 hasConcept C2777421447 @default.
- W2894528028 hasConcept C2780385302 @default.
- W2894528028 hasConcept C2781221063 @default.
- W2894528028 hasConcept C31258907 @default.
- W2894528028 hasConcept C33884865 @default.
- W2894528028 hasConcept C38369872 @default.
- W2894528028 hasConcept C38652104 @default.
- W2894528028 hasConcept C41008148 @default.
- W2894528028 hasConcept C71924100 @default.
- W2894528028 hasConcept C76155785 @default.
- W2894528028 hasConceptScore W2894528028C111919701 @default.
- W2894528028 hasConceptScore W2894528028C124086997 @default.
- W2894528028 hasConceptScore W2894528028C131129157 @default.
- W2894528028 hasConceptScore W2894528028C136764020 @default.
- W2894528028 hasConceptScore W2894528028C142724271 @default.
- W2894528028 hasConceptScore W2894528028C144543869 @default.
- W2894528028 hasConceptScore W2894528028C145097563 @default.
- W2894528028 hasConceptScore W2894528028C148417208 @default.
- W2894528028 hasConceptScore W2894528028C152124472 @default.
- W2894528028 hasConceptScore W2894528028C160949748 @default.
- W2894528028 hasConceptScore W2894528028C178489894 @default.
- W2894528028 hasConceptScore W2894528028C204787440 @default.
- W2894528028 hasConceptScore W2894528028C21564112 @default.
- W2894528028 hasConceptScore W2894528028C2777421447 @default.
- W2894528028 hasConceptScore W2894528028C2780385302 @default.
- W2894528028 hasConceptScore W2894528028C2781221063 @default.
- W2894528028 hasConceptScore W2894528028C31258907 @default.
- W2894528028 hasConceptScore W2894528028C33884865 @default.
- W2894528028 hasConceptScore W2894528028C38369872 @default.
- W2894528028 hasConceptScore W2894528028C38652104 @default.
- W2894528028 hasConceptScore W2894528028C41008148 @default.
- W2894528028 hasConceptScore W2894528028C71924100 @default.
- W2894528028 hasConceptScore W2894528028C76155785 @default.
- W2894528028 hasLocation W28945280281 @default.
- W2894528028 hasOpenAccess W2894528028 @default.
- W2894528028 hasPrimaryLocation W28945280281 @default.
- W2894528028 hasRelatedWork W1493785998 @default.
- W2894528028 hasRelatedWork W1983897952 @default.
- W2894528028 hasRelatedWork W2085490641 @default.
- W2894528028 hasRelatedWork W2087231050 @default.
- W2894528028 hasRelatedWork W2125170840 @default.
- W2894528028 hasRelatedWork W2332039384 @default.
- W2894528028 hasRelatedWork W2349750784 @default.
- W2894528028 hasRelatedWork W2389214518 @default.
- W2894528028 hasRelatedWork W2889904078 @default.
- W2894528028 hasRelatedWork W2891042463 @default.
- W2894528028 hasRelatedWork W2969810263 @default.
- W2894528028 hasRelatedWork W2978946199 @default.
- W2894528028 hasRelatedWork W3010223087 @default.
- W2894528028 hasRelatedWork W3026555772 @default.
- W2894528028 hasRelatedWork W3038047225 @default.
- W2894528028 hasRelatedWork W3084387290 @default.
- W2894528028 hasRelatedWork W3118590435 @default.
- W2894528028 hasRelatedWork W3171999782 @default.
- W2894528028 hasRelatedWork W3207898758 @default.
- W2894528028 hasRelatedWork W590625283 @default.
- W2894528028 isParatext "false" @default.
- W2894528028 isRetracted "false" @default.
- W2894528028 magId "2894528028" @default.
- W2894528028 workType "book-chapter" @default.