Matches in SemOpenAlex for { <https://semopenalex.org/work/W1971803619> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1971803619 endingPage "805" @default.
- W1971803619 startingPage "795" @default.
- W1971803619 abstract " Abstract—Formal verification aims at providing a rigid and thorough means of evaluating the correctness of security protocols and also establishing that the protocols are free of weaknesses that can be exploited by attacks. This paper discusses the process of formal verification using a logic–based verification tool. The verification tool with attack detection capabilities is introduced, and the verification process is demonstrated by way of a case study on two published security protocols that provide mutual authentication using smart cards. The performed verification reveals new weaknesses in the protocols that can be exploited by a replay attack and a parallel session attack. The impact of these attacks is that an attacker is able to masquerade as a legitimate remote user to cheat the system. The reasoning why these attacks are possible is detailed and an amended protocol, resistant to these attacks is proposed. Formal verification of the amended protocol provides confidence in the correctness and effectiveness of the proposed modifications." @default.
- W1971803619 created "2016-06-24" @default.
- W1971803619 creator A5022546955 @default.
- W1971803619 creator A5059822467 @default.
- W1971803619 creator A5073987773 @default.
- W1971803619 date "2013-01-01" @default.
- W1971803619 modified "2023-09-25" @default.
- W1971803619 title "Establishing and Fixing Security Protocols Weaknesses Using a Logic-based Verification Tool" @default.
- W1971803619 cites W1569881051 @default.
- W1971803619 cites W167161564 @default.
- W1971803619 cites W1773609568 @default.
- W1971803619 cites W1966841760 @default.
- W1971803619 cites W1969855076 @default.
- W1971803619 cites W2009322068 @default.
- W1971803619 cites W2010939995 @default.
- W1971803619 cites W2036892464 @default.
- W1971803619 cites W2048887528 @default.
- W1971803619 cites W2070207454 @default.
- W1971803619 cites W2078264993 @default.
- W1971803619 cites W2083406740 @default.
- W1971803619 cites W2132544882 @default.
- W1971803619 cites W2154568476 @default.
- W1971803619 cites W2168277905 @default.
- W1971803619 cites W2175137100 @default.
- W1971803619 doi "https://doi.org/10.12720/jcm.8.11.795-805" @default.
- W1971803619 hasPublicationYear "2013" @default.
- W1971803619 type Work @default.
- W1971803619 sameAs 1971803619 @default.
- W1971803619 citedByCount "8" @default.
- W1971803619 countsByYear W19718036192014 @default.
- W1971803619 countsByYear W19718036192018 @default.
- W1971803619 countsByYear W19718036192019 @default.
- W1971803619 countsByYear W19718036192020 @default.
- W1971803619 countsByYear W19718036192023 @default.
- W1971803619 crossrefType "journal-article" @default.
- W1971803619 hasAuthorship W1971803619A5022546955 @default.
- W1971803619 hasAuthorship W1971803619A5059822467 @default.
- W1971803619 hasAuthorship W1971803619A5073987773 @default.
- W1971803619 hasConcept C15744967 @default.
- W1971803619 hasConcept C178489894 @default.
- W1971803619 hasConcept C33884865 @default.
- W1971803619 hasConcept C38652104 @default.
- W1971803619 hasConcept C41008148 @default.
- W1971803619 hasConcept C63882131 @default.
- W1971803619 hasConcept C77805123 @default.
- W1971803619 hasConceptScore W1971803619C15744967 @default.
- W1971803619 hasConceptScore W1971803619C178489894 @default.
- W1971803619 hasConceptScore W1971803619C33884865 @default.
- W1971803619 hasConceptScore W1971803619C38652104 @default.
- W1971803619 hasConceptScore W1971803619C41008148 @default.
- W1971803619 hasConceptScore W1971803619C63882131 @default.
- W1971803619 hasConceptScore W1971803619C77805123 @default.
- W1971803619 hasIssue "11" @default.
- W1971803619 hasLocation W19718036191 @default.
- W1971803619 hasOpenAccess W1971803619 @default.
- W1971803619 hasPrimaryLocation W19718036191 @default.
- W1971803619 hasRelatedWork W1502851386 @default.
- W1971803619 hasRelatedWork W1533109710 @default.
- W1971803619 hasRelatedWork W1970802040 @default.
- W1971803619 hasRelatedWork W2030496847 @default.
- W1971803619 hasRelatedWork W2290846110 @default.
- W1971803619 hasRelatedWork W2397688157 @default.
- W1971803619 hasRelatedWork W2400382143 @default.
- W1971803619 hasRelatedWork W2508276376 @default.
- W1971803619 hasRelatedWork W3007967230 @default.
- W1971803619 hasRelatedWork W4313313264 @default.
- W1971803619 hasVolume "8" @default.
- W1971803619 isParatext "false" @default.
- W1971803619 isRetracted "false" @default.
- W1971803619 magId "1971803619" @default.
- W1971803619 workType "article" @default.