Keamanan dalam komunikasi jaringan merupakan aspek krusial untuk menjamin kerahasiaan, integritas, dan autentikasi data. Protokol Modified Otway-Rees dan Needham-Schroeder dirancang untuk memperkuat keamanan dalam proses pertukaran kunci dan autentikasi antara pihak-pihak yang berkomunikasi. Namun, adanya potensi kerentanan dalam desain protokol ini memerlukan analisis yang mendalam untuk memastikan efektivitasnya. Penelitian ini bertujuan untuk menganalisis keamanan kedua protokol dengan menggunakan logika BAN (Burrows-Abadi-Needham), yaitu sebuah metode formal yang ditujukan untuk mengevaluasi protokol keamanan. Pendekatan ini dimulai dengan mendefinisikan asumsi dasar, menerjemahkan langkah-langkah protokol ke dalam notasi logika BAN, dan menganalisis apakah tujuan keamanan seperti kerahasiaan, autentikasi, dan integritas dapat tercapai. Setelah melakukan pengujian pada protokol ini, didapatkan bahwa protokol ini aman dari ancaman dasar yang telah diuji menggunakan proses koreksi dasar menggunakan logika BAN.