%0 Conference Paper %1 conf/esop/SabelfeldS99 %A Sabelfeld, Andrei %A Sands, David %B ESOP %D 1999 %E Swierstra, S. Doaitse %I Springer %K dblp %P 40-58 %T A Per Model of Secure Information Flow in Sequential Programs. %U http://dblp.uni-trier.de/db/conf/esop/esop99.html#SabelfeldS99 %V 1576 %@ 3-540-65699-5

@inproceedings{conf/esop/SabelfeldS99, added-at = {2019-04-09T00:00:00.000+0200}, author = {Sabelfeld, Andrei and Sands, David}, biburl = {https://www.bibsonomy.org/bibtex/2fe251cb1d97acff074e201628c52496b/dblp}, booktitle = {ESOP}, crossref = {conf/esop/1999}, editor = {Swierstra, S. Doaitse}, ee = {https://doi.org/10.1007/3-540-49099-X_4}, interhash = {220acfe53db3c8bc04e89c18e9809b62}, intrahash = {fe251cb1d97acff074e201628c52496b}, isbn = {3-540-65699-5}, keywords = {dblp}, pages = {40-58}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T20:28:15.000+0200}, title = {A Per Model of Secure Information Flow in Sequential Programs.}, url = {http://dblp.uni-trier.de/db/conf/esop/esop99.html#SabelfeldS99}, volume = 1576, year = 1999 }