Digital Policy Management

The myriad electronic systems we interact with on a daily basis are controlled by digital policy — machine-usable descriptions of the behaviors allowed or performed by these computer systems. Digital policy manages everything from the access controls for grid computing systems to the filters that sort your email and control who can see private messages on Facebook.

Galois develops innovative approaches to assist with the creation, maintenance, and auditing of digital policy. We have applied approaches utilizing language processing, domain-specific languages, and static analysis to enable more complex, and more precise, policies to be easily expressed and to ease the long-term maintenance as those policies evolve.

Our approaches allow for easy expression and maintenance of policies across enterprise networks.