A Security Types Preserving Compiler in Haskell.
Cecilia ManzinoAlberto PardoPublished in: SBLP (2014)
Keyphrases
- programming language
- intrusion detection
- information security
- general purpose
- network security
- security issues
- security requirements
- security systems
- information assurance
- neural network
- security problems
- malware detection
- plagiarism detection
- computer security
- security mechanisms
- statistical databases
- open source
- social networks