Adding Security to Horus

See also Securing and Hardening the Horus System

Goal

The goal of this project is to achieve A1-Level verified mandatory security.

Steps

Security will be implemented as follows:

1. Fortezza support
2. Key distribution
3. B-level secure join protocol
4. Security in network partitioning
5. Multi-level security using MISSI
6. Security with compromised members
7. Formalization of security features
8. Formal proofs using Nuprl

See also Securing and Hardening the Horus System