Verification of Web Content Integrity: Detection and Recovery Security Approach using Colored Petri Nets

Abstract

This paper focuses on the design model verification processes to reduce modification cost after the software is delivered. We proposed a new design flow of web content integrity to protect web security by using colored petri nets simulation. The method covers the design process from the firewall stage to the recovery stage. In the proposed solution, the model verified the integrity of web content through detection tampering and recovery web content processes. Furthermore, the specification formally verifies the model checking technique by colored Petri nets formalism. Finally, the model is simulated by colored petri nets to insure the correct behavior of the designed web content integrity model.

Address resolution protocol spoofing attacks and security approaches: A survey

“…Detection is much more important in case of any security threat to protect the hosts [24][25][26][27] from being a victim of ARP spoofing as it leads to many serious attacks on the network. 8 Therefore a detection mechanism [24][25][26][27] is the best solution before considering a prevention mechanism. 8 There are many tools released to detect ARP poisoning attacks in the LAN such as 20 : ARPwner, Ettercap, Window ARP spoofed, and other tools.…”

“…There are two types of countermeasures: detection systems and prevention systems. Detection systems detect the attack by sounding an alarm when an attack is detected, while the prevention system tries to prevent the attack from occurring . For best security measures, both detection and prevention systems should be implemented in the network ,…”

“…Detection systems detect the attack by sounding an alarm when an attack is detected, while the prevention system tries to prevent the attack from occurring. [25][26][27] For best security measures, both detection and prevention systems should be implemented in the network. 16,21 There are many existing solutions that have been provided to enhance ARP security, minimize, mitigate, detect, and prevent ARP attacks that are discussed in Sections 2 and 3.…”