A Deductive Verification Platform for Cryptographic Software.
Manuel BarbosaJorge Sousa PintoJean-Christophe FilliâtreBárbara VieiraPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2010)
Keyphrases
- high assurance
- software platform
- software systems
- software tools
- computer systems
- software development
- platform independent
- model checking
- formal methods
- smart card
- software packages
- simulation software
- simulation environment
- software maintenance
- core components
- security properties
- cross platform
- application programming interface
- software package
- verification method
- control software
- cryptographic protocols
- security protocols
- computing platform
- database systems
- software developers
- software components
- software architecture
- access control
- distributed systems