AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification | IEEE Conference Publication | IEEE Xplore