Avoiding Security Pitfalls with Functional Programming: A Report on the Development of a Secure XML Validator.
Damien DoligezChristèle FaureThérèse HardinManuel MaarekPublished in: ICSE (2) (2015)
Keyphrases
- functional programming
- security issues
- security requirements
- xml documents
- functional language
- security measures
- security level
- security protocols
- key management
- information security
- sensitive data
- security analysis
- object oriented programming
- encryption scheme
- security mechanisms
- smart card
- programming language
- database