Petri net-based verification of security protocol implementation in software evolution.
Mohd Anuaruddin Bin AhmadonShingo YamaguchiBrij B. GuptaPublished in: Int. J. Embed. Syst. (2018)
Keyphrases
- software evolution
- security protocols
- software maintenance
- source code
- software systems
- reverse engineering
- software architecture
- mining software repositories
- security services
- software repositories
- artificial immune algorithm
- case study
- cryptographic algorithms
- security mechanisms
- operating system
- distributed systems
- open source
- low cost
- software engineering
- sensor networks