Integration of a Security Type System into a Program Logic.
Reiner HähnleJing PanPhilipp RümmerDennis WalterPublished in: TGC (2006)
Keyphrases
- intrusion detection
- security issues
- information assurance
- key management
- security requirements
- multi valued
- access control
- logic programming
- data integration
- modal logic
- relational databases
- security systems
- computer programs
- databases
- automated reasoning
- security mechanisms
- classical logic
- information security
- predicate logic
- security problems
- recursive programs