Jeeves is a programming language for automatically enforcing security policies. Jeeves allows the programmer to separately implement policies on sensitive values from other functionality. The Jeeves runtime is responsible for showing the appropriate output given the viewer. Learn more about it @
http://projects.csail.mit.edu/jeeves/index.php