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

Mohammad Feroz Raihan Mohammad Zulkernine

Published in: ARES (2007)

Keyphrases

state machine
state machines
finite state machines
fault tolerant
specification language
high level
programming language
language learning
action language
natural language
real world
situation calculus
target language
temporal logic
operational semantics
model checking
database systems
databases