Steven Raspudic

• A formal language approach to the composition of secure systems