Verifying Abstract Information Flow Properties in Fault Tolerant Security Devices.
Tim McCombLuke WildmanPublished in: ICFEM (2006)
Keyphrases
- information flow
- fault tolerant
- fault tolerance
- information security
- mobile agent system
- distributed systems
- flow analysis
- load balancing
- information flows
- communication networks
- social networks
- supply chain
- high availability
- high assurance
- flow graph
- safety critical
- security requirements
- intrusion detection
- software engineering
- information systems
- security issues
- mobile devices