Automata-based approach to design and analyze security policies | IEEE Conference Publication | IEEE Xplore