%0 Conference Paper %1 conf/mpc/LeinoJ98 %A Leino, K. Rustan M. %A Joshi, Rajeev %B MPC %D 1998 %E Jeuring, Johan %I Springer %K dblp %P 254-271 %T A Semantic Approach to Secure Information Flow. %U http://dblp.uni-trier.de/db/conf/mpc/mpc98.html#LeinoJ98 %V 1422 %@ 3-540-64591-8

@inproceedings{conf/mpc/LeinoJ98, added-at = {2017-05-23T00:00:00.000+0200}, author = {Leino, K. Rustan M. and Joshi, Rajeev}, biburl = {https://www.bibsonomy.org/bibtex/29d6e3e65614654395c3a09f55f79963a/dblp}, booktitle = {MPC}, crossref = {conf/mpc/1998}, editor = {Jeuring, Johan}, ee = {https://doi.org/10.1007/BFb0054294}, interhash = {4874eaf89ec2dfa4b855afcb01e08f0f}, intrahash = {9d6e3e65614654395c3a09f55f79963a}, isbn = {3-540-64591-8}, keywords = {dblp}, pages = {254-271}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:29:30.000+0200}, title = {A Semantic Approach to Secure Information Flow.}, url = {http://dblp.uni-trier.de/db/conf/mpc/mpc98.html#LeinoJ98}, volume = 1422, year = 1998 }