Security-Hardening Software Libraries with Ada and SPARK - A TCP Stack Use Case.
Kyriakos GeorgiouGuillaume CluzelPaul ButcherYannick MoyPublished in: CoRR (2021)
Keyphrases
- bug localization
- windows xp
- software systems
- security requirements
- computer systems
- software tools
- multimedia
- source code
- intrusion detection
- end to end
- security vulnerabilities
- development process
- software architecture
- access control
- software development
- functional requirements
- malware detection
- computer security
- software maintenance
- information security
- flow control
- real time
- intellectual property protection
- tcp ip
- software design
- security issues
- security policies
- software projects
- user interface
- information systems