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

Andrew J. I. Jones, Marek J. Sergot

Browse the full ESORICS paper archive.