Secure Information Flow for Distributed Systems.
Rafael AlpízarGeoffrey SmithPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- information flow
- distributed systems
- mobile agent system
- social networks
- fault tolerant
- load balancing
- distributed environment
- fault tolerance
- flow analysis
- information security
- message passing
- geographically distributed
- information flows
- communication networks
- operating system
- distributed computing
- mobile agents
- data replication
- supply chain
- security issues
- security requirements
- real time systems
- high assurance
- concurrent systems
- replicated data
- information systems