An algorithmic procedure for checking safety properties of protocols. - Krishan K. Sabnani; Aleta M. Lapone; M. Ümit Uyar (IEEE Trans. Commun., 1989)

SEPTEMBER - secure electronic publishing trial. - Jack Brassil; Abhijit K. Choudhury; David M. Kristol; Aleta M. Lapone; Steven H. Low; Nicholas F. Maxemchuk; Lawrence O'Gorman (IEEE Commun. Mag., 1996)

Document identification for copyright protection using centroid detection. - Steven H. Low; Nicholas F. Maxemchuk; Aleta M. Lapone (IEEE Trans. Commun., 1998)