M.S. Students Supervised by M. A. Azgomi
|
Name |
Discipline |
Thesis Title |
|
1.
Zeinab Hamzei |
SE |
Symbolic Model
Checking of Real-Time Systems Based on State Class Graph and Temporal Logic |
|
2.
Majid Moradi |
IT |
A Framework for
Development of Intrusion-Tolerant Web Services Based on BPEL |
|
3.
Nasser Khanjari |
SE |
A Method for
Modeling the Propagation of Passive Worms in Peer-to-Peer Networks |
|
4.
Moezedin Hojatoleslami |
IT |
A Defense Method
against Sensitive Edge Disclosure for Privacy Preserving in Social Networks |
|
5.
Ali Sedaghatbaf |
SE |
Attack Process
Modeling with the Capability of Characterizing the Factors Affecting
Attacker’s Decisions |
|
6.
Mehrdad Ashtiani |
SE |
An HLA-Based
Approach for Distributed Interactive Simulation of Cyber Attacks |
|
7.
Mohammad Saber Mirzaei |
SE |
A Timed Extension
for Activity Networks and Its Analysis Techniques Based on Polyhedra
Computation |
|
8.
Shahrzad Torabi |
SE |
Implementing a Multi-Threaded
Performance Model Solver |
|
9.
Behrang Mehrparvar |
SE |
Implementation of
Model Checking Techniques for SDES Descriptions |
|
10. Reza Fathi |
SE |
Implementation of a
Symbolic State Space Generator for SDES Descriptions in PDETool Framework |
|
11. Houri Shojaee |
IT |
Design and
Prototyping of Steganography Detection System |
|
12. Fatemeh Asghari |
SE |
A Dynamic Model for
the Analysis of the Proliferation Process of Active Worms |
|
13. Mehdi Zafari |
SE |
A Bitmap-Based
Method for Improving the Record Insertion Rate in Chaining Linear Probing
Technique |
|
14. Jamshid Mohammadi Farab |
IT |
Design and Prototyping of a Framework
for Connection of Simulators Based on HLA Technology |
|
15.
Mitra Omidvar |
IT |
A Secure Solution for Authentication
in E-Exam Management Systems |
|
16.
Reyhaneh Ghasem Esfahani |
SE |
An Intrusion Detection Technique for
Web Service by Analysis of XML Messages |
|
17.
Roya Bahrami |
SE |
A Dependable Web Service Based on Single-Version
Techniques with Prototyping and Evaluation |
|
18.
Forough Jabbari |
SE |
A Solution for Software Dependability
Engineering Using Stochastic Activity Networks |
|
19.
Ali Hosseini |
IT |
Combination of Duty Constraints and Historical
Extensions for Role-Based Access Control |
|
20.
Mohammad Taromi |
SE |
A Method for Quantitative Evaluation
of Security Based on Attacker Abilities and the System Vulnerabilities Using
by Attack Graph |
|
21.
Tahereh Boroomandnezhad |
SE |
A Method for
Detection of Transient Errors in Embedded Software |
|
22.
Abdolsattar Vakili |
SE |
A Solution for Quantitative Security
Evaluation Using Stochastic Activity Networks and Game Theory |
|
23.
Meisam S. A. Najjar |
IT |
Design and Modeling an Intrusion Detection
System for Web Services |
|
24.
Behnam Babaee |
IT |
An Investigation on Vulnerabilities of
WiMAX Security Architecture and Automated Analysis
of Its Protocols |
|
25.
Ali Rad Khorrami |
SE |
Design and Implementation of Numerical
Solvers for Coloured Stochastic Activity Networks |
|
26.
Abolfazl Karimzadeh |
SE |
A Solution Based on Probabilistic
Model Checking for Evaluation of Computer Systems Security |
|
27.
Roya Zare Farkhady |
SE |
A Probabilistic Solution for Process Mining
of Noisy and Incomplete Execution Logs |
|
28.
Seyyed Hassan Aali |
SE |
A Solution for Enhancing the
Performance of Web Services and Its Prototyping and Evaluation |
|
29.
Mojtaba Akbarzadeh |
IT |
A Solution for Probabilistic Verification
of Security Protocols Using Coloured Stochastic Activity Networks |
|
30.
Behzad Zare Moayedi |
SE |
A Stochastic Model for Combined
Security and Dependability Evaluation by Incorporating Diversity in Behavior
of Attackers |
|
31.
Khatereh Khorrami |
IT |
A User Management System for
Conversation-Based Web Services with Application in LMS |
|
32.
Mehdi Honarmand Sari |
SE |
A Framework for Software Performance
Evaluation Using Stochastic Activity Networks |
|
33.
Mehrnoosh Divsalar |
IT |
A Hybrid Trust Model for E-Commerce
Systems |
|
34.
Ali Khalili |
SE |
An Object-Oriented Modeling Language
for Stochastic Discrete-Event System |
|
35.
Mahdi Moindarbari |
IT |
A Visual Language for Specification of
Security Protocols: Design and Conversion Methods |
|
36.
Mahdi Dashtbozorgi |
IT |
Design and Implementation of a
High-Performance Packet Capturing Software |
|
37.
Hossein Daghaghzadeh |
SE |
A Semantic-Based Search Method to
Improve the Precision of Search Results in Quranic
Software |
|
38.
Amir Omidi |
SE |
Design and Prototyping an E-Voting
System Based on Dependable Web Services |
|
39.
Amir Jalaly |
SE |
New Techniques for Fast Simulation of
Stochastic Petri Nets |
|
40.
Omran Younesi |
IT |
A Scalable Architecture for Web-Based Public
Voting System and Its Security Analysis |
|
41.
Yalda Fazlalizadeh |
SE |
Accelerating Fault Detection in
Software Regression Testing by Appropriate Reordering of Test Cases |
|
42.
Aria Moshari |
IT |
An E-Commerce Recommendation
System Based on Customer Behaviour |
|
43.
Faezeh Karamzadeh |
IT |
A System for Search and Retrieval of
Trademarks Based on a Combination of Descriptors |
|
44.
Esmaeil Nourani |
SE |
A Solution for Dependable Web Services
Using Design Diversity Techniques and WS-BPEL |
|
45.
Mehdi Rooholamini |
IT |
A Security Architecture for Enterprise
Resource Planning (ERP) Systems |
|
46.
Kiyan Yazdian |
IT |
Solutions for Information and
Communication Security in Iran Electricity Market |
|
47.
Zahra Aghajani |
IT |
A Multi-Layer Architecture for
Intrusion Tolerant Web Services |
|
48.
Golriz Khazan |
IT |
A Simulation-Based Framework for
Quantitative Evaluation of Availability by Considering Intrusion and Attack
Process |
|
49.
Atoosa Hodjati |
IT |
Design and Prototyping an E-Healthcare
System Based on Context-Aware Access Control |
|
50.
Maryam Zarreh |
IT |
A Privacy-Aware Access Control
Architecture |
|
51.
Mona Tavakolan |
IT |
A Web Service with Capabilities for
Applying the User's Privacy Preferences |
|
52.
Sara Hajian |
IT |
A Privacy Preserving Solution for
Sensitive Data with Data Mining Capabilities |
|
53.
Naeimeh Laleh |
IT |
Design and Prototyping a Fraud
Detection System in Unlabeled Data with Emphasis on Minimizing False Alarms |
|
54.
Hamideh Alaeddin |
IT |
Architecture of an E-Exam Management
System for Security Improvement |
|
55.
Fatemeh Javadi Mottaghi |
SE |
A Workflow Modeling Language Based on
Stochastic Activity Networks |
|
56.
Jaafar Almasizadeh |
SE |
Intrusion Process Modeling for Quantitative
Evaluation of Security Measures |
|
57.
Hamid M. Gholizadeh |
IT |
A Multi-Formalism Modeling Framework
for Petri Nets and Related Models |
|
58.
Alireza Homayuninezhad |
SE |
Solutions for Enhancing the Security
of Steganographic File Systems |
|
59.
Babak Naseh Chaffi |
IT |
A Tool for Dependability Evaluation
with Coloured Stochastic Activity Networks |
|
60.
Zobeideh Aliannezhadi |
IT |
Design and Modeling a Web Service
Firewall |
|
61.
Mehdi Khalesi |
IT |
Solutions for Improving Management and
Security of E-mail List Services |
|
62.
Saman Shishechi |
SE |
Model Checking Workflow Systems Using
Bogor Tool |
|
63.
Maryam Amouzegar |
SE |
A Solution for Performance Evaluation
of Component-Based Software Architecture |
|
64.
Soodeh Hosseini |
SE |
Specification of UML Model Refactoring
with Regard to Preserving Consistency |