Belief Change and Cryptographic Protocol Verification

AAAI 2007 pp. 427-433

/aaai/2007/hunter2007aaai-belief/

Cite

Text

Hunter and Delgrande. "Belief Change and Cryptographic Protocol Verification." AAAI Conference on Artificial Intelligence, 2007.

Markdown

[Hunter and Delgrande. "Belief Change and Cryptographic Protocol Verification." AAAI Conference on Artificial Intelligence, 2007.](https://mlanthology.org/aaai/2007/hunter2007aaai-belief/)

BibTeX

@inproceedings{hunter2007aaai-belief,
  title     = {{Belief Change and Cryptographic Protocol Verification}},
  author    = {Hunter, Aaron and Delgrande, James P.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {427-433},
  url       = {https://mlanthology.org/aaai/2007/hunter2007aaai-belief/}
}