%0 Journal Article %1 journals/jcs/RoscoeWW96 %A Roscoe, A. W. %A Woodcock, Jim %A Wulf, Lars %D 1996 %J Journal of Computer Security %K %N 1 %P 27-54 %T Non-interference through Determinism. %U http://dblp.uni-trier.de/db/journals/jcs/jcs4.html#RoscoeWW96 %V 4

@article{journals/jcs/RoscoeWW96, added-at = {2023-12-14T16:32:15.000+0100}, author = {Roscoe, A. W. and Woodcock, Jim and Wulf, Lars}, biburl = {https://www.bibsonomy.org/bibtex/2e544f11422c0f2f3b9e6fce1119bc214/admin}, ee = {http://dx.doi.org/10.3233/JCS-1996-4103}, interhash = {f96ff39db49afc1abb960c3aef06d964}, intrahash = {e544f11422c0f2f3b9e6fce1119bc214}, journal = {Journal of Computer Security}, keywords = {}, number = 1, pages = {27-54}, timestamp = {2023-12-14T16:32:15.000+0100}, title = {Non-interference through Determinism.}, url = {http://dblp.uni-trier.de/db/journals/jcs/jcs4.html#RoscoeWW96}, volume = 4, year = 1996 }