☰

Shahabuddin Muhammad, Ph.D.

Affiliations: 
2007 University of Central Florida, Orlando, FL, United States 
Area:
Computer Science
Google:
"Shahabuddin Muhammad"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor
Ratan Guha grad student 2007 University of Central Florida
 (Extending distributed temporal protocol logic to a proof based framework for authentication protocols.)

Children

Sign in to add trainee

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Mumtaz T, Muhammad S, Aslam MI, et al. (2020) Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks Ieee Access. 8: 86495-86509
Khan MA, Mohammad N, Muhammad S, et al. (2016) A mining-based approach for efficient enumeration of algebraic structures Journal of Data Science. 1: 89-98
Muhammad S, Al-Mouhamed M, Mohammad N. (2016) Reliable Communication Protocol for Applications in Multi-Robot Systems Arabian Journal For Science and Engineering. 41: 2771-2785
Muhammad S. (2013) Applying authentication tests to discover Man-In-The-Middle attack in security protocols 8th International Conference On Digital Information Management, Icdim 2013. 35-40
Muhammad S. (2011) Authentication tests based on distributed temporal protocol logic for the analysis of security protocols Communications in Computer and Information Science. 251: 214-228
Muhammad S, Furqan Z, Guha RK. (2007) A logic-based verification framework for authentication protocols International Journal of Internet Technology and Secured Transactions. 1: 49-80
Guha RK, Furqan Z, Muhammad S. (2007) Discovering man-in-the-middle attacks in authentication protocols Proceedings - Ieee Military Communications Conference Milcom
Muhammad S, Furqan Z, Guha RK. (2006) Logic-based formal analysis of cryptographic protocols Proceedings - 2006 Ieee International Conference On Networks, Icon 2006 - Networking-Challenges and Frontiers. 2: 300-305
See more...