@misc{indiciaea7ffaeb0cc33,
  title = {A Logic Programming Approach for Formal Verification of NetBill Security and Transactions Protocol},
  author = {Suvansh Lal},
  year = {2011},
  url = {https://arxiv.org/abs/1101.1814},
  note = {Source identifier: 1101.1814}
}