TACAS'99 - 5th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
March 22-26, 1999, Amsterdam, The Netherlands:
[Security-related paper only]