Computer Security Foundations Workshop (7th 1994 Franconia, N.H.)