Computer security proceedings (Springer, 1994)