Agda Formalization of a Security-preserving Translation from Flow-sensitive to Flow-insensitive Security Types.
Cecilia ManzinoAlberto PardoPublished in: LSFA (2020)
Keyphrases
- information flow
- information security
- information assurance
- security mechanisms
- security issues
- computer security
- flow patterns
- network security
- security requirements
- security policies
- security problems
- encryption scheme
- security properties
- security threats
- security level
- security vulnerabilities
- security protocols
- data integrity
- key management
- database
- network management
- flow field
- smart card
- intrusion detection
- social networks