Progress-Sensitive Security for SPARK.
Willard RafnssonDeepak GargAndrei SabelfeldPublished in: ESSoS (2016)
Keyphrases
- security issues
- access control
- intrusion detection
- information security
- statistical databases
- security policies
- security problems
- network security
- security properties
- information assurance
- cyber security
- security level
- key management
- security mechanisms
- low cost
- security threats
- security requirements
- security systems
- data security
- security protocols
- real time
- operating system
- data management
- databases