Matches in SemOpenAlex for { <https://semopenalex.org/work/W3009285655> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3009285655 abstract "Formal analysis method with reasoning has been proposed as an alternative formal analysis method for cryptographic protocols. In the method, at first, analysts formalize the participant’s and attacker’s behaviors in order to carry out forward reasoning, then analysts check whether the logic formulas that represents security flaws of the target protocol exist or not in deduced logical formulas. However, the current method can deal with security flaws related to authentication, confidentiality, fairness, and non-repudiation, but not anonymity. This paper proposes an extension of formal analysis method with reasoning for dealing with security flaws related to anonymity. The paper also gives a case study with the proposed method in the Bolignano protocol. The result shows that the extension method is useful to detect security flaws related to anonymity." @default.
- W3009285655 created "2020-03-13" @default.
- W3009285655 creator A5034972191 @default.
- W3009285655 creator A5052921394 @default.
- W3009285655 date "2020-01-01" @default.
- W3009285655 modified "2023-10-16" @default.
- W3009285655 title "An Extension of Formal Analysis Method with Reasoning for Anonymity" @default.
- W3009285655 cites W11554622 @default.
- W3009285655 cites W1502051745 @default.
- W3009285655 cites W1526001900 @default.
- W3009285655 cites W1996741545 @default.
- W3009285655 cites W2056394590 @default.
- W3009285655 cites W2072309970 @default.
- W3009285655 cites W2091877728 @default.
- W3009285655 cites W2093988169 @default.
- W3009285655 cites W2125894704 @default.
- W3009285655 cites W2130456179 @default.
- W3009285655 cites W2152415989 @default.
- W3009285655 cites W2272156155 @default.
- W3009285655 cites W2332100962 @default.
- W3009285655 cites W2576158814 @default.
- W3009285655 cites W2607233830 @default.
- W3009285655 cites W2904314268 @default.
- W3009285655 cites W2938729172 @default.
- W3009285655 doi "https://doi.org/10.1007/978-3-030-42058-1_5" @default.
- W3009285655 hasPublicationYear "2020" @default.
- W3009285655 type Work @default.
- W3009285655 sameAs 3009285655 @default.
- W3009285655 citedByCount "0" @default.
- W3009285655 crossrefType "book-chapter" @default.
- W3009285655 hasAuthorship W3009285655A5034972191 @default.
- W3009285655 hasAuthorship W3009285655A5052921394 @default.
- W3009285655 hasConcept C142724271 @default.
- W3009285655 hasConcept C148417208 @default.
- W3009285655 hasConcept C178005623 @default.
- W3009285655 hasConcept C178489894 @default.
- W3009285655 hasConcept C199360897 @default.
- W3009285655 hasConcept C204787440 @default.
- W3009285655 hasConcept C2778029271 @default.
- W3009285655 hasConcept C2780385302 @default.
- W3009285655 hasConcept C33884865 @default.
- W3009285655 hasConcept C38369872 @default.
- W3009285655 hasConcept C38652104 @default.
- W3009285655 hasConcept C41008148 @default.
- W3009285655 hasConcept C71745522 @default.
- W3009285655 hasConcept C71924100 @default.
- W3009285655 hasConcept C75606506 @default.
- W3009285655 hasConcept C80444323 @default.
- W3009285655 hasConceptScore W3009285655C142724271 @default.
- W3009285655 hasConceptScore W3009285655C148417208 @default.
- W3009285655 hasConceptScore W3009285655C178005623 @default.
- W3009285655 hasConceptScore W3009285655C178489894 @default.
- W3009285655 hasConceptScore W3009285655C199360897 @default.
- W3009285655 hasConceptScore W3009285655C204787440 @default.
- W3009285655 hasConceptScore W3009285655C2778029271 @default.
- W3009285655 hasConceptScore W3009285655C2780385302 @default.
- W3009285655 hasConceptScore W3009285655C33884865 @default.
- W3009285655 hasConceptScore W3009285655C38369872 @default.
- W3009285655 hasConceptScore W3009285655C38652104 @default.
- W3009285655 hasConceptScore W3009285655C41008148 @default.
- W3009285655 hasConceptScore W3009285655C71745522 @default.
- W3009285655 hasConceptScore W3009285655C71924100 @default.
- W3009285655 hasConceptScore W3009285655C75606506 @default.
- W3009285655 hasConceptScore W3009285655C80444323 @default.
- W3009285655 hasLocation W30092856551 @default.
- W3009285655 hasOpenAccess W3009285655 @default.
- W3009285655 hasPrimaryLocation W30092856551 @default.
- W3009285655 hasRelatedWork W1032800 @default.
- W3009285655 hasRelatedWork W14650688 @default.
- W3009285655 hasRelatedWork W1713610 @default.
- W3009285655 hasRelatedWork W2567733 @default.
- W3009285655 hasRelatedWork W3009568 @default.
- W3009285655 hasRelatedWork W5793364 @default.
- W3009285655 hasRelatedWork W731109 @default.
- W3009285655 hasRelatedWork W8470568 @default.
- W3009285655 hasRelatedWork W9555244 @default.
- W3009285655 hasRelatedWork W9999441 @default.
- W3009285655 isParatext "false" @default.
- W3009285655 isRetracted "false" @default.
- W3009285655 magId "3009285655" @default.
- W3009285655 workType "book-chapter" @default.