Papers presented at the 7th IEEE Computer Security Foundations Workshop (CSFW-7) Franconia, New Hampshire, June 14-16, 1994.