Computer Security Foundations Workshop : (IEEE Computer Society Press, 1994)