AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
The encryption algorithms are playing an important part in the protection level for data. RSA is one of these encryption algorithms that have been implemented in security systems. Security systems are built by developing their source codes with different programming languages such as Java language....
| Main Author: | SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI |
|---|---|
| Format: | Thesis |
| Language: | English |
| Institution: | Universiti Teknologi Petronas |
| Record Id / ISBN-0: | utp-utpedia.20690 / |
| Published: |
2021
|
| Subjects: | |
| Online Access: |
http://utpedia.utp.edu.my/20690/1/Abdulqowi_%2017006476.pdf http://utpedia.utp.edu.my/20690/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|