Cite
MLA Citation
Joshua D Guttman et al., editors. Foundations of security, protocols, and equational reasoning : essays dedicated to Catherine A. Meadows. Cham, Switzerland : Springer, 2019. http://access.bl.uk/ark:/81055/vdc_100081236790.0x000001