VOLUME 11 2006 NUMBER 4

A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Maurice H. Ter Beek, Gabriele Lenzini, Marinella Petrocchi
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}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: team automata, security analysis, security properties, communication protocols
DOI: 10.25596/jalc-2006-345