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....
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis |
| Language: | English |
| 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!
|
Be the first to leave a comment!