Modeling replay and integrity violations attacks for cryptographic protocols source codes verification of e-voting system based on blind intermediaries
Liudmila K. Babenko, Ilya Pisarev · 2020
Verification of cryptographic protocols is an urgent and complex task. In view of the development of various e-commerce services, as well as mobile robots, unmanned aerial vehicles, internet of things, in which computing resources are in most cases very limited and it is not always possible to use well-known protocols. Any developed protocol must go through a verification procedure. Mostly formal verification methods are used to evaluate the security of the cryptographic protocol. If the protocol has successfully vitrificated, it is implemented in the selected programming language for the developed system. Even though the protocol was successfully analyzed using formal verification tools, its implementation may be vulnerable. Errors may occur due to the human factor or protocol can be modified during implementation. Thus, the verification of cryptographic protocols source codes is relevant. The paper describes a dynamic analysis method for detecting replay-attacks and integrity violations.