FORMAL SPECIFICATION OF SECURITY REQUIREMENTS USING THE THEORY OF NORMATIVE POSITIONS - JONES, AJI; SERGOT, M (SPRINGER-VERLAG BERLIN, 1992)