ML Anthology

Knowledge Based Approach for Mechanically Verifying Security Protocols

Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle
IJCAI 2005 pp. 1572-1573
/ijcai/2005/ma2005ijcai-knowledge/
PDF IJCAI Semantic Scholar

Cite

Text

Ma et al. "Knowledge Based Approach for Mechanically Verifying Security Protocols." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Ma et al. "Knowledge Based Approach for Mechanically Verifying Security Protocols." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/ma2005ijcai-knowledge/)

BibTeX

@inproceedings{ma2005ijcai-knowledge,
  title     = {{Knowledge Based Approach for Mechanically Verifying Security Protocols}},
  author    = {Ma, Xiaoqi and Cheng, Xiaochun and McCrindle, Rachel},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {1572-1573},
  url       = {https://mlanthology.org/ijcai/2005/ma2005ijcai-knowledge/}
}