Carlo Blundo Paolo D'Arco Antonio Giorgio Gaggia A tau-Restricted Key Agreement Scheme. 51-61 1999 42 Comput. J. 1 db/journals/cj/cj42.html#BlundoDG99