Cover Image

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....

Full description

Saved in:
Bibliographic Details
Main Author: SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI
Format: Thesis
Language:English
Published: 2021
Subjects:
T Technology (General)
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!
id my-utp-utpedia.20690
record_format eprints
spelling my-utp-utpedia.206902022-02-22T08:28:34Z http://utpedia.utp.edu.my/20690/ AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI T Technology (General) 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. Therefore, there is always possibility of mistakes that can be found when performing the RSA algorithm in the source code. However, model checking is one of the approaches that help to discover these fault. 2021-08 Thesis NonPeerReviewed application/pdf en http://utpedia.utp.edu.my/20690/1/Abdulqowi_%2017006476.pdf SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI (2021) AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING. Masters thesis, Universiti Teknologi PETRONAS.
institution Universiti Teknologi Petronas
building UTP Resource Centre
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Petronas
content_source UTP Electronic and Digitized Intellectual Asset
url_provider http://utpedia.utp.edu.my/
language English
topic T Technology (General)
spellingShingle T Technology (General)
SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI
AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
description 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. Therefore, there is always possibility of mistakes that can be found when performing the RSA algorithm in the source code. However, model checking is one of the approaches that help to discover these fault.
format Thesis
author SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI
author_facet SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI
author_sort SALLEH AL-HUMAIKANI, MOHAMMED ABDULQAWI
title AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
title_short AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
title_full AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
title_fullStr AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
title_full_unstemmed AUTOMATED MODEL GENERATION OF FSM AND NUSMV MODEL FROM RSA JAVA SOURCE CODE FOR MODEL CHECKING
title_sort automated model generation of fsm and nusmv model from rsa java source code for model checking
publishDate 2021
url http://utpedia.utp.edu.my/20690/1/Abdulqowi_%2017006476.pdf
http://utpedia.utp.edu.my/20690/
_version_ 1739832784957997056
score 13.211869

Similar Items