%0 Conference Paper %1 conf/esorics/RoscoeWW94 %A Roscoe, A. W. %A Woodcock, Jim %A Wulf, Lars %B ESORICS %D 1994 %E Gollmann, Dieter %I Springer %K %P 33-53 %T Non-Interference Through Determinism. %U http://dblp.uni-trier.de/db/conf/esorics/esorics1994.html#RoscoeWW94 %V 875 %@ 3-540-58618-0

@inproceedings{conf/esorics/RoscoeWW94, added-at = {2023-12-14T16:33:44.000+0100}, author = {Roscoe, A. W. and Woodcock, Jim and Wulf, Lars}, biburl = {https://www.bibsonomy.org/bibtex/2d4bfeb559a32332d68f38141703fd756/admin}, booktitle = {ESORICS}, crossref = {conf/esorics/1994}, editor = {Gollmann, Dieter}, ee = {https://doi.org/10.1007/3-540-58618-0_55}, interhash = {f9ceaf5f7b069aedf16fbe95824c9dff}, intrahash = {d4bfeb559a32332d68f38141703fd756}, isbn = {3-540-58618-0}, keywords = {}, pages = {33-53}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T16:33:44.000+0100}, title = {Non-Interference Through Determinism.}, url = {http://dblp.uni-trier.de/db/conf/esorics/esorics1994.html#RoscoeWW94}, volume = 875, year = 1994 }