A Tool-Chain for High-Assurance Cryptographic Software.
José Bacelar AlmeidaManuel BarbosaHugo PachecoVitor PereiraPublished in: ERCIM News (2016)
Keyphrases
- high assurance
- software systems
- operating system
- fault tolerant
- access control
- distributed systems
- software tools
- analysis tool
- software package
- software development
- software engineering
- source code
- software maintenance
- computer systems
- software architecture
- software design
- multi agent systems
- software platform
- software developers
- software components
- database systems
- design patterns