Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205552891> ?p ?o ?g. }
- W3205552891 endingPage "4098" @default.
- W3205552891 startingPage "4082" @default.
- W3205552891 abstract "Since the nineties, the Man-in-The-Middle (MITM) attack has been one of the most effective strategies adopted for compromising information security in network environments. In this article, we focus our attention on ARP cache poisoning, which is one of the most well-known and more adopted techniques for performing MITM attacks in Ethernet local area networks. More precisely, we will prove that, in network environments with at least one malicious host in the absence of cryptography, an ARP cache poisoning attack cannot be avoided. Subsequently, we advance ArpON, an efficient and effective solution to counteract ARP cache poisoning, and we use a model-checker for verifying its safety property. Our main finding, in accordance with the above impossibility result, is that the only event that compromises the safety of ArpON is a cache poisoning that nevertheless is removed by ArpON itself after a very short period, thus making it practically infeasible to perpetrate an ARP cache poisoning attack on network hosts where ArpON is installed." @default.
- W3205552891 created "2021-10-25" @default.
- W3205552891 creator A5005922348 @default.
- W3205552891 creator A5015295130 @default.
- W3205552891 creator A5017862259 @default.
- W3205552891 creator A5041352997 @default.
- W3205552891 creator A5058151309 @default.
- W3205552891 date "2022-11-01" @default.
- W3205552891 modified "2023-10-05" @default.
- W3205552891 title "A Formal Verification of ArpON – A Tool for Avoiding Man-in-the-Middle Attacks in Ethernet Networks" @default.
- W3205552891 cites W1511903507 @default.
- W3205552891 cites W1516900991 @default.
- W3205552891 cites W1592314966 @default.
- W3205552891 cites W1594000116 @default.
- W3205552891 cites W1762311305 @default.
- W3205552891 cites W1821880317 @default.
- W3205552891 cites W1860772589 @default.
- W3205552891 cites W1870526560 @default.
- W3205552891 cites W1999987941 @default.
- W3205552891 cites W2022003997 @default.
- W3205552891 cites W2033468765 @default.
- W3205552891 cites W2094813380 @default.
- W3205552891 cites W2098527270 @default.
- W3205552891 cites W2106178546 @default.
- W3205552891 cites W2122877994 @default.
- W3205552891 cites W2126924915 @default.
- W3205552891 cites W2151222380 @default.
- W3205552891 cites W2151554935 @default.
- W3205552891 cites W2163872399 @default.
- W3205552891 cites W2178360195 @default.
- W3205552891 cites W2184161784 @default.
- W3205552891 cites W2241836009 @default.
- W3205552891 cites W2244941754 @default.
- W3205552891 cites W2605479102 @default.
- W3205552891 cites W2747972189 @default.
- W3205552891 cites W2783277111 @default.
- W3205552891 cites W3104749005 @default.
- W3205552891 cites W3138459719 @default.
- W3205552891 cites W3182495053 @default.
- W3205552891 cites W4205839990 @default.
- W3205552891 cites W4230634801 @default.
- W3205552891 cites W42332353 @default.
- W3205552891 cites W4300743836 @default.
- W3205552891 cites W4300747978 @default.
- W3205552891 cites W81626549 @default.
- W3205552891 cites W944431708 @default.
- W3205552891 doi "https://doi.org/10.1109/tdsc.2021.3118448" @default.
- W3205552891 hasPublicationYear "2022" @default.
- W3205552891 type Work @default.
- W3205552891 sameAs 3205552891 @default.
- W3205552891 citedByCount "0" @default.
- W3205552891 crossrefType "journal-article" @default.
- W3205552891 hasAuthorship W3205552891A5005922348 @default.
- W3205552891 hasAuthorship W3205552891A5015295130 @default.
- W3205552891 hasAuthorship W3205552891A5017862259 @default.
- W3205552891 hasAuthorship W3205552891A5041352997 @default.
- W3205552891 hasAuthorship W3205552891A5058151309 @default.
- W3205552891 hasBestOaLocation W32055528911 @default.
- W3205552891 hasConcept C110875604 @default.
- W3205552891 hasConcept C111919701 @default.
- W3205552891 hasConcept C115537543 @default.
- W3205552891 hasConcept C120665830 @default.
- W3205552891 hasConcept C121332964 @default.
- W3205552891 hasConcept C147873670 @default.
- W3205552891 hasConcept C148730421 @default.
- W3205552891 hasConcept C172173386 @default.
- W3205552891 hasConcept C192209626 @default.
- W3205552891 hasConcept C196491621 @default.
- W3205552891 hasConcept C31258907 @default.
- W3205552891 hasConcept C35341882 @default.
- W3205552891 hasConcept C38652104 @default.
- W3205552891 hasConcept C41008148 @default.
- W3205552891 hasConcept C86255107 @default.
- W3205552891 hasConceptScore W3205552891C110875604 @default.
- W3205552891 hasConceptScore W3205552891C111919701 @default.
- W3205552891 hasConceptScore W3205552891C115537543 @default.
- W3205552891 hasConceptScore W3205552891C120665830 @default.
- W3205552891 hasConceptScore W3205552891C121332964 @default.
- W3205552891 hasConceptScore W3205552891C147873670 @default.
- W3205552891 hasConceptScore W3205552891C148730421 @default.
- W3205552891 hasConceptScore W3205552891C172173386 @default.
- W3205552891 hasConceptScore W3205552891C192209626 @default.
- W3205552891 hasConceptScore W3205552891C196491621 @default.
- W3205552891 hasConceptScore W3205552891C31258907 @default.
- W3205552891 hasConceptScore W3205552891C35341882 @default.
- W3205552891 hasConceptScore W3205552891C38652104 @default.
- W3205552891 hasConceptScore W3205552891C41008148 @default.
- W3205552891 hasConceptScore W3205552891C86255107 @default.
- W3205552891 hasFunder F4320313475 @default.
- W3205552891 hasFunder F4320334773 @default.
- W3205552891 hasIssue "6" @default.
- W3205552891 hasLocation W32055528911 @default.
- W3205552891 hasLocation W32055528912 @default.
- W3205552891 hasOpenAccess W3205552891 @default.
- W3205552891 hasPrimaryLocation W32055528911 @default.
- W3205552891 hasRelatedWork W1576835530 @default.
- W3205552891 hasRelatedWork W1578733665 @default.
- W3205552891 hasRelatedWork W2042969872 @default.