Detecting Intrusions Specified in a Software Specification Language. - Mohammad Feroz Raihan; Mohammad Zulkernine (COMPSAC (1), 2005)

AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification. - Mohammad Feroz Raihan; Mohammad Zulkernine (ARES, 2007)

Towards Model-Based Automatic Testing of Attack Scenarios. - Mohammad Zulkernine; Mohammad Feroz Raihan; Mohammad Gias Uddin 001 (SAFECOMP, 2009)