Formal Specification of Security Requirements using the Theory of Normative Positions.

Andrew J. I. Jones Marek J. Sergot Formal Specification of Security Requirements using the Theory of Normative Positions. 103-121 1992 conf/esorics/1992 ESORICS http://dx.doi.org/10.1007/BFb0013894 db/conf/esorics/esorics1992.html#JonesS92