Enforcing High-Level Security Properties for Applets. Pavlova, M., Barthe, G., Burdy, L., Huisman, M., & Lanet, J. In Quisquater, J., Paradinas, P., Deswarte, Y., & Kalam, A. A. E., editors, CARDIS, volume 153, of IFIP, pages 1-16, 2004. Kluwer/Springer. Link Paper bibtex @inproceedings{conf/cardis/PavlovaBBHL04,
added-at = {2014-07-16T00:00:00.000+0200},
author = {Pavlova, Mariela and Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis},
biburl = {https://www.bibsonomy.org/bibtex/22f637590be84fbcf23d90f09216f917a/dblp},
booktitle = {CARDIS},
crossref = {conf/cardis/2004},
editor = {Quisquater, Jean-Jacques and Paradinas, Pierre and Deswarte, Yves and Kalam, Anas Abou El},
ee = {http://dx.doi.org/10.1007/1-4020-8147-2_1},
interhash = {8d75e66d5afc57c630c96fae57e3c33c},
intrahash = {2f637590be84fbcf23d90f09216f917a},
isbn = {1-4020-8146-4},
keywords = {dblp},
pages = {1-16},
publisher = {Kluwer/Springer},
series = {IFIP},
timestamp = {2015-06-19T16:17:58.000+0200},
title = {Enforcing High-Level Security Properties for Applets.},
url = {http://dblp.uni-trier.de/db/conf/cardis/cardis2004.html#PavlovaBBHL04},
volume = 153,
year = 2004
}
Downloads: 0
{"_id":"L7Pik7okq79TfwswE","bibbaseid":"pavlova-barthe-burdy-huisman-lanet-enforcinghighlevelsecuritypropertiesforapplets-2004","authorIDs":["5d14be645b939dee01000058"],"author_short":["Pavlova, M.","Barthe, G.","Burdy, L.","Huisman, M.","Lanet, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2014-07-16T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pavlova"],"firstnames":["Mariela"],"suffixes":[]},{"propositions":[],"lastnames":["Barthe"],"firstnames":["Gilles"],"suffixes":[]},{"propositions":[],"lastnames":["Burdy"],"firstnames":["Lilian"],"suffixes":[]},{"propositions":[],"lastnames":["Huisman"],"firstnames":["Marieke"],"suffixes":[]},{"propositions":[],"lastnames":["Lanet"],"firstnames":["Jean-Louis"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22f637590be84fbcf23d90f09216f917a/dblp","booktitle":"CARDIS","crossref":"conf/cardis/2004","editor":[{"propositions":[],"lastnames":["Quisquater"],"firstnames":["Jean-Jacques"],"suffixes":[]},{"propositions":[],"lastnames":["Paradinas"],"firstnames":["Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Deswarte"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Kalam"],"firstnames":["Anas","Abou","El"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/1-4020-8147-2_1","interhash":"8d75e66d5afc57c630c96fae57e3c33c","intrahash":"2f637590be84fbcf23d90f09216f917a","isbn":"1-4020-8146-4","keywords":"dblp","pages":"1-16","publisher":"Kluwer/Springer","series":"IFIP","timestamp":"2015-06-19T16:17:58.000+0200","title":"Enforcing High-Level Security Properties for Applets.","url":"http://dblp.uni-trier.de/db/conf/cardis/cardis2004.html#PavlovaBBHL04","volume":"153","year":"2004","bibtex":"@inproceedings{conf/cardis/PavlovaBBHL04,\n added-at = {2014-07-16T00:00:00.000+0200},\n author = {Pavlova, Mariela and Barthe, Gilles and Burdy, Lilian and Huisman, Marieke and Lanet, Jean-Louis},\n biburl = {https://www.bibsonomy.org/bibtex/22f637590be84fbcf23d90f09216f917a/dblp},\n booktitle = {CARDIS},\n crossref = {conf/cardis/2004},\n editor = {Quisquater, Jean-Jacques and Paradinas, Pierre and Deswarte, Yves and Kalam, Anas Abou El},\n ee = {http://dx.doi.org/10.1007/1-4020-8147-2_1},\n interhash = {8d75e66d5afc57c630c96fae57e3c33c},\n intrahash = {2f637590be84fbcf23d90f09216f917a},\n isbn = {1-4020-8146-4},\n keywords = {dblp},\n pages = {1-16},\n publisher = {Kluwer/Springer},\n series = {IFIP},\n timestamp = {2015-06-19T16:17:58.000+0200},\n title = {Enforcing High-Level Security Properties for Applets.},\n url = {http://dblp.uni-trier.de/db/conf/cardis/cardis2004.html#PavlovaBBHL04},\n volume = 153,\n year = 2004\n}\n\n","author_short":["Pavlova, M.","Barthe, G.","Burdy, L.","Huisman, M.","Lanet, J."],"editor_short":["Quisquater, J.","Paradinas, P.","Deswarte, Y.","Kalam, A. A. E."],"key":"conf/cardis/PavlovaBBHL04","id":"conf/cardis/PavlovaBBHL04","bibbaseid":"pavlova-barthe-burdy-huisman-lanet-enforcinghighlevelsecuritypropertiesforapplets-2004","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/1-4020-8147-2_1","Paper":"http://dblp.uni-trier.de/db/conf/cardis/cardis2004.html#PavlovaBBHL04"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Marieke Huisman?items=1000","creationDate":"2019-06-27T13:02:29.157Z","downloads":0,"keywords":["dblp"],"search_terms":["enforcing","high","level","security","properties","applets","pavlova","barthe","burdy","huisman","lanet"],"title":"Enforcing High-Level Security Properties for Applets.","year":2004,"dataSources":["sAaBbgDRpNpcvbGWj"]}