A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities.

Shuo Chen Zbigniew Kalbarczyk Jun Xu Ravishankar K. Iyer

Published in: DSN (2003)

Keyphrases

finite state machines
data driven
formal model
finite state automata
databases
sensor networks
security vulnerabilities