Applying Categorical Logic on a Holistic Security Architecture across Distributed Systems.
Dimitrios SisiaridisB. Nick RossiterPublished in: Panhellenic Conference on Informatics (2011)
Keyphrases
- distributed systems
- security architecture
- security policies
- distributed environment
- access control
- fault tolerant
- security model
- database technology
- software architecture
- distributed computing
- operating system
- security requirements
- intrusion detection system
- mobile agents
- databases
- distributed database systems
- mobile computing
- distributed databases
- agent technology
- simulation platform
- management system