Verifikasi Logika Autentikasi Sistem Login Menggunakan Pendekatan Tabel Kebenaran

Abstract

Abstrak— Autentikasi merupakan komponen fundamental dalam sistem login untuk memastikan bahwa hanya pengguna yang valid yang dapat mengakses suatu layanan digital. Namun, proses autentikasi sering dipandang semata-mata sebagai implementasi pemrograman tanpa meninjau dasar logika formal yang menyusunnya. Makalah ini menggunakan pendekatan Logika Proposisi untuk memodelkan proses autentikasi login dan memverifikasinya melalui tabel kebenaran. Proses login direpresentasikan sebagai rangkaian proposisi yang menggambarkan kondisi validitas username dan password, kemudian dianalisis secara sistematis untuk melihat konsistensi dan kemungkinan terjadinya kesalahan logika. Melalui metode ini, penelitian menunjukkan bahwa tabel kebenaran mampu mengidentifikasi kombinasi kondisi yang menghasilkan autentikasi berhasil maupun gagal secara jelas, sekaligus mendeteksi potensi skenario yang tidak sesuai dengan aturan sistem. Selain itu, makalah ini menyertakan implementasi simulasi autentikasi menggunakan bahasa pemrograman C++ untuk menunjukkan bagaimana struktur logika A ∧ B (username valid ∧ password valid) diterapkan secara langsung dalam kode program. Simulasi tersebut memperkuat pembuktian bahwa model logika proposisional dapat dipetakan secara konsisten ke proses autentikasi nyata pada sistem login. Hasil analisis menegaskan bahwa penggunaan tabel kebenaran memberikan kerangka matematis yang kuat untuk memvalidasi proses autentikasi sekaligus meningkatkan keandalan dan keamanan sistem login.

Kata Kunci— autentikasi; tabel kebenaran; logika proposisi; verifikasi sistem; keamanan login; simulasi C++.

Abstract— Authentication is a fundamental component of login systems to ensure that only legitimate users are granted access to digital services. In practice, authentication mechanisms are often implemented directly in program code without a clear examination of the formal logical structure underlying the decision-making process. This paper adopts propositional logic to model and verify a basic login authentication mechanism using truth tables. The login process is represented as a set of logical propositions describing the validity of a username and a password, which are then systematically evaluated to analyze logical consistency and potential error scenarios. The results show that truth tables clearly identify all possible combinations of input conditions that lead to successful or failed authentication and help detect logical flaws such as false positives. In addition, a simple C++-based authentication simulation is presented to demonstrate how the logical structure A ∧ B (valid username ∧ valid password) can be directly mapped into program code. The analysis confirms that truth tables provide a strong mathematical framework for validating authentication logic and improving the reliability and security of login systems.

Keywords— authentication; truth table; propositional logic; system verification; login security.