Project Matematika Diskrit
Autentikasi Berbasis
Himpunan, Relasi & Kombinatorika
Sistem validasi multi-lapis yang menerapkan relasi pemetaan Role-Badge, perhitungan probabilitas ruang sampel OTP, dan pengamanan kriptografi HMAC yang meminimalisir risiko brute-force.
logic_relations.txt
// Notasi Himpunan Semesta
U = { u | u ∈ tabel users }
R = { Admin, Manager, Staff, User }
OTP = { 000000...999999 }
// Relasi & Pemetaan
ValidRoleBadge ⊆ R × B_role
AuthRelation ⊆ U × Credentials
// Syarat Autentikasi
IF (role, badge_id) ∈ ValidRoleBadge
AND hmac(otp) == u.otp_code
THEN Access = Granted
AND hmac(otp) == u.otp_code
THEN Access = Granted