2WF90 (2024-1) Algebra for Security