Formal Verification of Security Protocols

Most of security protocols fail to achieve an acceptable level of security as their security properties are not verified using formal methods. In other words, they are validated using some case studies or test cases, which do not necessarily consider all the possible scenarios by which an attacker can attack a system. Therefore, they need to be verified using formal methods, which are mathematically-based approaches. 

Emneord: security, security protocols, formal methods, formal verification
Publisert 15. okt. 2020 12:54 - Sist endret 15. okt. 2020 12:54

Omfang (studiepoeng)

60