Search

Author:

Ishtiaq, Abdullah Al

Title:

Towards Automating the Generation of Finite State Machines from Natural Language Specifications: A Focus on Cellular Network Security

Graduate Program:

Computer Science and Engineering

Keywords:

Cellular Network Security
Natural Language Processing
Formal Analysis
Finite State Machines
Cellular Network Security
Natural Language Processing
Formal Analysis
Finite State Machines

File:

Download Ishtiaq_MS_Thesis.pdf

Committee Members:

Syed Rafiul Hussain, Thesis Advisor/Co-Advisor
Rui Zhang, Committee Member
Chitaranjan Das, Program Head/Chair