A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

26 November 2024

Papers citing "A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols"

1 / 1 papers shown

Title
Security Analysis of the Open Banking Account and Transaction API Protocol P. Modesti Leo Freitas Qudus Shotomiwa Abdulaziz Almehrej 20 1 0 28 Mar 2020