Infections as Abstract Symbolic Finite Automata: Formal Model and Applications.

Mila Dalla Preda Isabella Mastroeni

Published in: SPRO@ICSE (2015)

Keyphrases

formal model
finite automata
grammatical inference
probabilistic automata
deterministic automata
regular expressions
high level
tree automata
security properties
predicate calculus
low level
hidden markov models
formal models
security patterns
finite automaton
keywords