Using Deducibility in Secure Network Modelling

Brian W. Thomson, E. Stewart Lee, Peter I. P. Boulton, Michael Stumm, David M. Lewis. Using Deducibility in Secure Network Modelling. In ESORICS 90 - First European Symposium on Research in Computer Security, October 24-26, 1990, Toulouse, France. pages 117-123, AFCET, 1990.

Authors

Brian W. Thomson

This author has not been identified. Look up 'Brian W. Thomson' in Google

E. Stewart Lee

This author has not been identified. Look up 'E. Stewart Lee' in Google

Peter I. P. Boulton

This author has not been identified. Look up 'Peter I. P. Boulton' in Google

Michael Stumm

This author has not been identified. Look up 'Michael Stumm' in Google

David M. Lewis

This author has not been identified. Look up 'David M. Lewis' in Google