Non−interference through determinism
A. W. Roscoe‚ J.C.P. Woodcock and L. Wulf
Details
| Journal |
Journal of Computer Security |
| Note |
revised version of above |
| Pages |
27–54 |
| Series |
1 |
| Volume |
4 |
| Year |
1996 |
Links
Related pages
|
People |