Lobster is a domain-specific language (DSL) for security policy configuration. It is a high-level language for defining permitted flows through nested security domains. Visualization and analysis tools permit support validation of the high-level policy, and compilation tools generate low-level SELinux and XSM policies ready for deployment.
- Lobster: A Domain Specific Language for SELinux Policies
- SELinux Policy Semantics
- Symbion: An Assertion Language for Lobster Policies
- LViz: Lobster Visualization Description
- Policy DSL: High-level Specifications of Information Flows for Security Policies
Collaborate with Us
Licensing - Obtain a license for one of our advanced technologies.
Research & Development - Solve your toughest problems by exploring new approaches with us.
Training - Learn how to use cutting-edge tools to increase trustworthiness in your critical systems.