%0 Conference Paper %1 conf/fase/BartheGH02 %A Barthe, Gilles %A Gurov, Dilian %A Huisman, Marieke %B FASE %D 2002 %E Kutsche, Ralf-Detlef %E Weber, Herbert %I Springer %K dblp %P 15-32 %T Compositional Verification of Secure Applet Interactions. %U http://dblp.uni-trier.de/db/conf/fase/fase2002.html#BartheGH02 %V 2306 %@ 3-540-43353-8

@inproceedings{conf/fase/BartheGH02, added-at = {2022-01-03T00:00:00.000+0100}, author = {Barthe, Gilles and Gurov, Dilian and Huisman, Marieke}, biburl = {https://www.bibsonomy.org/bibtex/2137bb5fe73ca53fe27ff1131f55f1b4c/dblp}, booktitle = {FASE}, crossref = {conf/fase/2002}, editor = {Kutsche, Ralf-Detlef and Weber, Herbert}, ee = {https://doi.org/10.1007/3-540-45923-5_2}, interhash = {5fdc5cd532cef67e624c50eb0f9cb1c9}, intrahash = {137bb5fe73ca53fe27ff1131f55f1b4c}, isbn = {3-540-43353-8}, keywords = {dblp}, pages = {15-32}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T11:02:45.000+0200}, title = {Compositional Verification of Secure Applet Interactions.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2002.html#BartheGH02}, volume = 2306, year = 2002 }