Lobster/Shrimp Related
Lobster/Shrimp Benefits


• Display of port and domain information flows enables ability to look for problems/ vulnerabilities

• Visualize assertion information flows to assist in exploration of large policies or to highlight differences in policies


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.

Related Publications



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.

Let's Work TogetherStart the Conversation >>