S.: ASM relational transducer security policies (2006)

by L A Meyerovich, J H W Weinberger, C S Gordon, Krishnamurthi