Hao Chen, John A. Clark, Jeremy L. Jacob. Synthesising Efficient and Effective Security Protocols. Electronic Notes in Theoretical Computer Science, 125(1):25-41, 2005. [doi]
@article{HaoCJ05, title = {Synthesising Efficient and Effective Security Protocols}, author = {Hao Chen and John A. Clark and Jeremy L. Jacob}, year = {2005}, doi = {10.1016/j.entcs.2004.05.017}, url = {http://dx.doi.org/10.1016/j.entcs.2004.05.017}, tags = {protocol, security}, researchr = {https://researchr.org/publication/HaoCJ05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {125}, number = {1}, pages = {25-41}, }