A Formal Language for Specifying Security Properties Publication details Publisher: Austrian Computer Society International Standard Numbers: Printed: 9783854031802 You are here: Home Publications Scientific anthology / conference series A Formal Language for Specifying Security Properties