%0 Journal Article %1 journals/dagstuhl-reports/BondFFS12 %A Bond, Mike %A Focardi, Riccardo %A Fröschle, Sibylle B. %A Steel, Graham %D 2012 %J Dagstuhl Reports %K %N 11 %P 155-168 %T Analysis of Security APIs (Dagstuhl Seminar 12482). %U http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BondFFS12 %V 2

@article{journals/dagstuhl-reports/BondFFS12, added-at = {2023-12-12T23:29:31.000+0100}, author = {Bond, Mike and Focardi, Riccardo and Fröschle, Sibylle B. and Steel, Graham}, biburl = {https://www.bibsonomy.org/bibtex/2e312c4da77f7b9c12c46f2331fb1212c/admin}, ee = {http://dx.doi.org/10.4230/DagRep.2.11.155}, interhash = {5674283ece53298f1fdb286c34c30a27}, intrahash = {e312c4da77f7b9c12c46f2331fb1212c}, journal = {Dagstuhl Reports}, keywords = {}, number = 11, pages = {155-168}, timestamp = {2023-12-12T23:29:31.000+0100}, title = {Analysis of Security APIs (Dagstuhl Seminar 12482).}, url = {http://dblp.uni-trier.de/db/journals/dagstuhl-reports/dagstuhl-reports2.html#BondFFS12}, volume = 2, year = 2012 }