Authors: Robert N. Moll, Michael A. Arbib, A. J. Kfoury - IEEE Symposium on Security and Privacy, IEEE S&P 1988 cited by 239