Formal Protocol Security vs Oracle Audit Vault and Database Firewall (2026)