Verified Security for the Morello Capability-enhanced Prototype Arm Architecture.
Thomas BauereissBrian CampbellThomas SewellAlasdair ArmstrongLawrence EsswoodIan StarkGraeme BarnesRobert N. M. WatsonPeter SewellPublished in: ESOP (2022)
Keyphrases
- management system
- security architecture
- learning capabilities
- information security
- real time
- distributed multimedia
- security problems
- security issues
- middleware architecture
- database
- intrusion detection
- security requirements
- security level
- software architecture
- security protocols
- digital rights management
- master slave
- situational awareness
- security systems
- access control
- security policies
- network architecture
- enterprise systems
- neural network
- multi tier
- security threats
- database systems
- communication protocols
- statistical databases
- hardware implementation