Iran University of Science and Technology (IUST)

Trustworthy Computing Laboratory (TwCL)

People | Projects | Publications | Contact صفحه فارسی

About

Due to the critical applications of information and communication technologies (ICT), the dependability and security measures of these technologies and their applications should be evaluated using rigorous engineering methodologies. In TwCL research laboratory (back PDEL, established on April 2008), we conduct researches on theories, techniques and tools for design, modeling, verification and evaluation of trustworthy computer and communication technologies.

Research areas of this laboratory include:

Modeling and Analysis Techniques and Tools:
   o Formal Methods (Petri nets and stochastic activity networks (SANs), etc.)
   o Models of Security, Privacy and Trust
   o Evaluation of Performance, Dependability, Security, Privacy and Trust
   o Verification, Validation and Model Checking
   o Computer Simulation
   o Tools for Modeling and Analysis
Dependable Systems:
   o Fault-Tolerant Computing
   o Software-Fault Tolerance
   o Dependable and Secure Software Design
   o Dependable and Intrusion-Tolerant Web Services
Network Security:
   o Intrusion Detection/Prevention Techniques
   o Security of Web Services
   o Intrusion-Tolerant Systems
   o Security Assessment and Evaluation

People | Projects | Publications | Contact