Matches in SemOpenAlex for { <https://semopenalex.org/work/W4312496300> ?p ?o ?g. }
- W4312496300 endingPage "34" @default.
- W4312496300 startingPage "19" @default.
- W4312496300 abstract "Authentication protocols are the basis for secure communication in many distributed systems but are highly prone to errors in their design, preventing them from working properly. It is therefore necessary to analyze an authentication protocol to determine whether the designed protocol meets the requirements. Much attention has been paid to mathematical logic to analyze cryptographic protocols, particularly the logic proposed by Burrows, Abadi, and Needham (BAN logic). This logic has been successful in identifying weaknesses in various examples of authentication protocols. In this paper, we give a concept of “belief” for BAN logic based on the idea of possibility computation and further propose a quantitative BAN logic. It is also applied to the formal analysis and computation of a Radio Frequency Identification (RFID) authentication protocol to show how it works. The quantitative results on belief show that the proposed quantitative approach of BAN logic based on belief can more objectively reflect the security property of the authentication protocol." @default.
- W4312496300 created "2023-01-05" @default.
- W4312496300 creator A5043695568 @default.
- W4312496300 creator A5055625276 @default.
- W4312496300 creator A5087953918 @default.
- W4312496300 creator A5091584403 @default.
- W4312496300 date "2022-01-01" @default.
- W4312496300 modified "2023-10-01" @default.
- W4312496300 title "Quantitative BAN Logic Based on Belief Degree" @default.
- W4312496300 cites W1931957434 @default.
- W4312496300 cites W1965515427 @default.
- W4312496300 cites W2010939995 @default.
- W4312496300 cites W2020419603 @default.
- W4312496300 cites W2020563325 @default.
- W4312496300 cites W2040999334 @default.
- W4312496300 cites W2072922920 @default.
- W4312496300 cites W2089170517 @default.
- W4312496300 cites W2093390697 @default.
- W4312496300 cites W2102922499 @default.
- W4312496300 cites W2150402532 @default.
- W4312496300 cites W2170028174 @default.
- W4312496300 cites W2172126546 @default.
- W4312496300 cites W2214955777 @default.
- W4312496300 cites W2404159111 @default.
- W4312496300 cites W2516089876 @default.
- W4312496300 cites W2743119467 @default.
- W4312496300 cites W2803681306 @default.
- W4312496300 cites W2810054347 @default.
- W4312496300 cites W2912640545 @default.
- W4312496300 cites W2952624816 @default.
- W4312496300 cites W2966593378 @default.
- W4312496300 cites W3115801181 @default.
- W4312496300 cites W3133499994 @default.
- W4312496300 cites W4242741415 @default.
- W4312496300 cites W2041217097 @default.
- W4312496300 doi "https://doi.org/10.1007/978-981-19-7510-3_2" @default.
- W4312496300 hasPublicationYear "2022" @default.
- W4312496300 type Work @default.
- W4312496300 citedByCount "0" @default.
- W4312496300 crossrefType "book-chapter" @default.
- W4312496300 hasAuthorship W4312496300A5043695568 @default.
- W4312496300 hasAuthorship W4312496300A5055625276 @default.
- W4312496300 hasAuthorship W4312496300A5087953918 @default.
- W4312496300 hasAuthorship W4312496300A5091584403 @default.
- W4312496300 hasConcept C113839178 @default.
- W4312496300 hasConcept C11413529 @default.
- W4312496300 hasConcept C116834253 @default.
- W4312496300 hasConcept C124086997 @default.
- W4312496300 hasConcept C142724271 @default.
- W4312496300 hasConcept C148417208 @default.
- W4312496300 hasConcept C154945302 @default.
- W4312496300 hasConcept C178489894 @default.
- W4312496300 hasConcept C204787440 @default.
- W4312496300 hasConcept C207828512 @default.
- W4312496300 hasConcept C21564112 @default.
- W4312496300 hasConcept C2780385302 @default.
- W4312496300 hasConcept C33884865 @default.
- W4312496300 hasConcept C38652104 @default.
- W4312496300 hasConcept C41008148 @default.
- W4312496300 hasConcept C45374587 @default.
- W4312496300 hasConcept C49937458 @default.
- W4312496300 hasConcept C59822182 @default.
- W4312496300 hasConcept C71924100 @default.
- W4312496300 hasConcept C80444323 @default.
- W4312496300 hasConcept C86803240 @default.
- W4312496300 hasConceptScore W4312496300C113839178 @default.
- W4312496300 hasConceptScore W4312496300C11413529 @default.
- W4312496300 hasConceptScore W4312496300C116834253 @default.
- W4312496300 hasConceptScore W4312496300C124086997 @default.
- W4312496300 hasConceptScore W4312496300C142724271 @default.
- W4312496300 hasConceptScore W4312496300C148417208 @default.
- W4312496300 hasConceptScore W4312496300C154945302 @default.
- W4312496300 hasConceptScore W4312496300C178489894 @default.
- W4312496300 hasConceptScore W4312496300C204787440 @default.
- W4312496300 hasConceptScore W4312496300C207828512 @default.
- W4312496300 hasConceptScore W4312496300C21564112 @default.
- W4312496300 hasConceptScore W4312496300C2780385302 @default.
- W4312496300 hasConceptScore W4312496300C33884865 @default.
- W4312496300 hasConceptScore W4312496300C38652104 @default.
- W4312496300 hasConceptScore W4312496300C41008148 @default.
- W4312496300 hasConceptScore W4312496300C45374587 @default.
- W4312496300 hasConceptScore W4312496300C49937458 @default.
- W4312496300 hasConceptScore W4312496300C59822182 @default.
- W4312496300 hasConceptScore W4312496300C71924100 @default.
- W4312496300 hasConceptScore W4312496300C80444323 @default.
- W4312496300 hasConceptScore W4312496300C86803240 @default.
- W4312496300 hasLocation W43124963001 @default.
- W4312496300 hasOpenAccess W4312496300 @default.
- W4312496300 hasPrimaryLocation W43124963001 @default.
- W4312496300 hasRelatedWork W2149736837 @default.
- W4312496300 hasRelatedWork W2160224003 @default.
- W4312496300 hasRelatedWork W2171815479 @default.
- W4312496300 hasRelatedWork W2181469750 @default.
- W4312496300 hasRelatedWork W2387244583 @default.
- W4312496300 hasRelatedWork W2397554340 @default.
- W4312496300 hasRelatedWork W2599010628 @default.
- W4312496300 hasRelatedWork W2908508381 @default.
- W4312496300 hasRelatedWork W2999962580 @default.