Using Deducibility in Secure Network Modelling.

Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis

Browse the full ESORICS paper archive.