A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols.

Maurice H. ter Beek Gabriele Lenzini Marinella Petrocchi A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols. 345-374 2006 11 Journal of Automata, Languages and Combinatorics 4 db/journals/jalc/jalc11.html#BeekLP06