C Program Partitioning with Fine-Grained Security Constraints and Post-Partition Verification.
Maxwell LevatichRobert BrotzmanBenjamin FlinTa ChenRajesh KrishnanStephen A. EdwardsPublished in: MILCOM (2022)
Keyphrases
- fine grained
- access control
- coarse grained
- partitioning algorithm
- high security
- security policies
- tightly coupled
- massively parallel
- information security
- security issues
- integrity verification
- java card
- cryptographic protocols
- model checking
- intrusion detection
- security mechanisms
- static analysis
- security requirements
- partitioning schemes
- statistical databases
- data provenance
- co occurrence