Finite-state verification of the ebXML protocol

Finite-state verification of the ebXML protocol

Electronic Commerce Research and Applications - -2006

Authors

Mongiello Marina

DOI

https://doi.org/10.1016/j.elerap.2005.09.002

BibTex references

@Article{Mon06,
  author       = "Mongiello, Marina",
  title        = "Finite-state verification of the ebXML protocol",
  journal      = "Electronic Commerce Research and Applications",
  number       = "2",
  volume       = "5",
  pages        = "147--169",
  year         = "2006",
  url          = "http://sisinflab.poliba.it/Publications/2006/Mon06"

}