Applying Formal Methods to Specify Security Requirements in Multi-Agent Systems.
Vinitha Hannah SubburajJoseph E. UrbanPublished in: FedCSIS (2018)
Keyphrases
- formal methods
- security requirements
- security properties
- development lifecycle
- multi agent systems
- information security
- smart card
- access control
- security policies
- security analysis
- knowledge based systems
- security mechanisms
- formal specification
- software architecture
- multi agent
- artificial intelligence
- model checking
- cooperative
- mobile commerce
- software development
- formal model
- agent architecture
- software engineering
- case study
- security patterns
- formal specification language
- autonomous agents
- intrusion detection
- low cost
- databases