Fibred Security Language.
Guido BoellaDov M. GabbayValerio GenoveseLeendert W. N. van der TorrePublished in: Stud Logica (2009)
Keyphrases
- programming language
- network security
- security systems
- natural language
- information security
- security requirements
- security issues
- security problems
- security level
- object oriented programming
- statistical databases
- language learning
- security mechanisms
- target language
- language processing
- intrusion detection
- security management
- databases
- database
- security vulnerabilities
- computer security
- access control
- database systems
- data mining
- data sets