Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider. Specifying authentication using signal events in CSP. Computers & Security, 28(5):310-324, 2009. [doi]
@article{ShaikhBS09,
title = {Specifying authentication using signal events in CSP},
author = {Siraj A. Shaikh and Vicky J. Bush and Steve A. Schneider},
year = {2009},
doi = {10.1016/j.cose.2008.10.001},
url = {http://dx.doi.org/10.1016/j.cose.2008.10.001},
researchr = {https://researchr.org/publication/ShaikhBS09},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {28},
number = {5},
pages = {310-324},
}