Mohammad Feroz Raihan, Mohammad Zulkernine. AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification. In Proceedings of the The Second International Conference on Availability, Reliability and Security, ARES 2007, The International Dependability Conference - Bridging Theory and Practice, April 10-13 2007, Vienna, Austria. pages 775-782, IEEE Computer Society, 2007. [doi]
Abstract is missing.