Formal Protocol Security vs Trellix Database Security (2026)