Deductive Verification of Cryptographic Software.
Manuel BarbosaJosé Bacelar AlmeidaJorge Sousa PintoBárbara VieiraPublished in: NASA Formal Methods (2009)
Keyphrases
- high assurance
- cryptographic protocols
- software architecture
- software tools
- formal methods
- computer systems
- software systems
- software development
- software design
- smart card
- hardware designs
- machine learning
- face verification
- software platform
- user interface
- random number generator
- verification method
- high security
- wireless sensor networks
- hardware design
- security protocols
- object oriented
- embedded systems
- software components
- development process
- distributed systems