Frank Koob, Markus Ullmann, Stefan Wittmann. Application of Formal Methods in the Scope of IT-Security. In Erwin Schoitsch, editor, 15th International Conference on Computer Safety, Reliability and Security, Safe Comp 1996, Vienna, Austria, October 23-25 1996. pages 389-394, Springer, 1996. [doi]
Abstract is missing.