Translating information into authorized actions

RedPhone Security builds formally verified products and arguments for controlling information flows between separated domains. We offer secure-by-design products that allow your government or enterprise to act on the information it sends and receives -- quickly and decisively.

Advantages to our patent-pending designs include:

1. Improved accountability
2. Strong digital evidence
3. Integrity-assured metadata
4. Robust nonrepudiation
5. Verified security and safety properties

The picture above shows a RedPhone Security reference monitor (far right, RED) within a typical operating context. The reference monitor shown provides write-up and read-down information flows, and strongly mitigates covert channels.