%0 Conference Paper %1 conf/safecomp/RamirezSVLB14 %A Ramirez, Adrian Garcia %A Schmaltz, Julien %A Verbeek, Freek %A Langenstein, Bruno %A Blasum, Holger %B SAFECOMP %D 2014 %E Bondavalli, Andrea %E Giandomenico, Felicita Di %I Springer %K dblp %P 246-261 %T On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2014.html#RamirezSVLB14 %V 8666 %@ 978-3-319-10505-5

@inproceedings{conf/safecomp/RamirezSVLB14, added-at = {2017-05-26T00:00:00.000+0200}, author = {Ramirez, Adrian Garcia and Schmaltz, Julien and Verbeek, Freek and Langenstein, Bruno and Blasum, Holger}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/281cf679a6741234bc17a629d2839e44c/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2014}, editor = {Bondavalli, Andrea and Giandomenico, Felicita Di}, ee = {https://doi.org/10.1007/978-3-319-10506-2_17}, interhash = {312fce67f5210431c3b75ad7f9790b93}, intrahash = {81cf679a6741234bc17a629d2839e44c}, isbn = {978-3-319-10505-5}, keywords = {dblp}, pages = {246-261}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:43:14.000+0200}, title = {On Two Models of Noninterference: Rushby and Greve, Wilding, and Vanfleet.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2014.html#RamirezSVLB14}, volume = 8666, year = 2014 }