Functional Programming Way to Interact with Software Attacks and Vulnerabilities.
Violeta DamjanovicDragan DjuricPublished in: ICST Workshops (2010)
Keyphrases
- functional programming
- security vulnerabilities
- security risks
- countermeasures
- security flaws
- software systems
- programming language
- functional language
- execution model
- software architecture
- information security
- security mechanisms
- quantifier elimination
- buffer overflow
- software development
- intrusion detection
- attack scenarios
- security threats
- data corruption
- database
- management system