Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.

Vinitha Hannah Subburaj, Joseph E. Urban

Browse the full FedCSIS paper archive.