Walter Eaves Transport Level Security: a proof using the Gong-Needham-Yahalom Logic [Citation Graph (0, 0)][DBLP] CoRR, 1999, v:0, n:, pp:- [Journal]
Walter Eaves ODP channel objects that provide services transparently for distributing processing systems [Citation Graph (0, 0)][DBLP] CoRR, 1999, v:0, n:, pp:- [Journal]