A Formal Language for Specifying Security Properties Anders Moen Hagalisletto Jon Haugsand Publication details Publisher: Austrian Computer Society International Standard Numbers: Printed: 3-85403-180-7 You are here: Home Publications Scientific anthology / conference series A Formal Language for Specifying Security Properties