VOLUME 11 | 2006 | NUMBER 4 |
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Pages 345–374
Download Abstract
Fulltext is accessible with your personal account
ShowHide BibTeX
BibTeX:
@article{JALC-2006-345, author = {Maurice H. Ter Beek and Gabriele Lenzini and Marinella Petrocchi}, title = {A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols}, journal = {Journal of Automata, Languages and Combinatorics}, volume = {11}, number = {4}, pages = {345--374}, year = {2006}, url = {https://doi.org/10.25596/jalc-2006-345}, doi = {10.25596/jalc-2006-345} }