Skip to main content

CSP and determinism in security modelling

1996

Book Title
Proceedings of 1995 IEEE Symposium on Security and Privacy
Publisher
IEEE Computer Society Press
Year
1996