|
|||||
|
|
Comments, with reply, on `On the projection method for protocolverification' by T.-Y. Cheung |
|
| Authors: | Hirakawa Y. |
| Affiliation: | NTT Electr. Commun. Lab., Tokyo; |
| Abstract: | A counterexample to a theorem given in a paper by T.-Y. Cheung (see ibid., vol.12, no.11, p.1088-9, 1986) is given. In a reply, the author of the original paper argues that the counterexample is not correct |
| Keywords: | |