SMGA-PLUS

Graphical Animations of State Machines With Sequential Diagrams

References

2021

JVLC

Graphical Animations of the NS(L)PK Authentication Protocols

Thet Wai Mon, Dang Duy Bui, Duong Dinh Tran, Canh Minh Do, and Kazuhiro Ogata

Journal of Visual Language and Computing, Dec 2021

@article{MonJvlc2021,
  year = {2021},
  month = dec,
  publisher = {{KSI} Research Inc.},
  volume = {2021},
  number = {2},
  pages = {39--51},
  author = {Mon, Thet Wai and Bui, Dang Duy and Tran, Duong Dinh and Minh Do, Canh and Ogata, Kazuhiro},
  title = {Graphical Animations of the {NS}(L){PK} Authentication Protocols},
  journal = {Journal of Visual Language and Computing},
}