Formal Protocol Security vs Tanium Reveal (2026)