CSP and determinism in security modelling (1995)

Cached

Download Links

by A. W. Roscoe
Venue:In Proc. IEEE Symposium on Security and Privacy
Citations:85 - 4 self