Mohammad Feroz Raihan

Towards Model-Based Automatic Testing of Attack Scenarios

Mohammad Zulkernine, Gias Uddin, Mohammad Feroz Raihan, 2009, SAFECOMP.

Detecting intrusions specified in a software specification language

Mohammad Zulkernine, Mohammad Feroz Raihan, 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification

Mohammad Zulkernine, Mohammad Feroz Raihan, 2007, The Second International Conference on Availability, Reliability and Security (ARES'07).