Ali Nasrat Haidar, Ali E. Abdallah. Formal Modelling of PKI Based Authentication. Electronic Notes in Theoretical Computer Science, 235:55-70, 2009. [doi]
@article{HaidarA09,
title = {Formal Modelling of PKI Based Authentication},
author = {Ali Nasrat Haidar and Ali E. Abdallah},
year = {2009},
doi = {10.1016/j.entcs.2009.03.005},
url = {http://dx.doi.org/10.1016/j.entcs.2009.03.005},
tags = {rule-based, e-science},
researchr = {https://researchr.org/publication/HaidarA09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {235},
pages = {55-70},
}