Shahabuddin Muhammad
Assistant Professor
Computer Science
Prince Mohammad Bin Fahd University
Saudi Arabia
Biography
Shahabuddin Muhammad is working as an Assistant Professor of Computer Science and Engineering at Prince Mohammad Bin Fahd University. His research interests are Model Checking, Formal Verification, Program Analysis, Wireless Networks.
Research Interest
Computer Networks, Wireless Networks, Network Protocols, Design and Analysis of Authentication Protocols, Model Checking and Theorem Proving Techniques, Logic Based Verification, Distributed Systems, Formal Verification.
Publications
-
Shahabuddin Muhammad (2007) A Dynamic Simulation Model and Testing Techniques for Security Protocol Verification. In World Scientific and Engineering Academy and Society (WSEAS) Transactions on Computers 3: 5.
-
Shahabuddin Muhammad (2007) Analyzing Authentication in Kerberos-5 using Distributed Temporal Protocol Logic. In the Journal of Information and Computing Science 2: 3.
-
Shahabuddin Muhammad (2007) Authentication Analysis of the 802.11i Protocol. In International Journal of Information Technology 4: 1.
