Analisis Keamanan Protokol Kriptografi Pada Aplikasi Enkripsi Desktop Menggunakan Pendekatan V erifikasi Formal: Studi Keamanan pada Aplikasi ABC = Cryptographic Protocols Security Analysis in Desktop Encryption Application Using Formal Verification Approach: Security Studies in ABC Applications