%0 Journal Article %1 journals/sigops/NelsonBKTW20 %A Nelson, Luke %A Bornholt, James %A Krishnamurthy, Arvind %A Torlak, Emina %A Wang, Xi %D 2020 %J ACM SIGOPS Oper. Syst. Rev. %K dblp %N 1 %P 31-39 %T Noninterference specifications for secure systems. %U http://dblp.uni-trier.de/db/journals/sigops/sigops54.html#NelsonBKTW20 %V 54

@article{journals/sigops/NelsonBKTW20, added-at = {2020-10-06T00:00:00.000+0200}, author = {Nelson, Luke and Bornholt, James and Krishnamurthy, Arvind and Torlak, Emina and Wang, Xi}, biburl = {https://www.bibsonomy.org/bibtex/2cf9da9a5770e6cc711ff6242614a7d24/dblp}, ee = {https://doi.org/10.1145/3421473.3421478}, interhash = {116e5591a33f381ed5cbf27179cd57f2}, intrahash = {cf9da9a5770e6cc711ff6242614a7d24}, journal = {ACM SIGOPS Oper. Syst. Rev.}, keywords = {dblp}, number = 1, pages = {31-39}, timestamp = {2020-10-07T11:37:45.000+0200}, title = {Noninterference specifications for secure systems.}, url = {http://dblp.uni-trier.de/db/journals/sigops/sigops54.html#NelsonBKTW20}, volume = 54, year = 2020 }