2WF90 (2025-1) Algebra for Security