Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_14
T. Yen, M. Reiter
{"title":"Revisiting Botnet Models and Their Implications for Takedown Strategies","authors":"T. Yen, M. Reiter","doi":"10.1007/978-3-642-28641-4_14","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_14","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"12 1","pages":"249-268"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74517826","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_16
E. Best, P. Darondeau
{"title":"Deciding Selective Declassification of Petri Nets","authors":"E. Best, P. Darondeau","doi":"10.1007/978-3-642-28641-4_16","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_16","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"61 1","pages":"290-308"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87933036","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_6
Myrto Arapinis, Sergiu Bursuc, M. Ryan
{"title":"Privacy Supporting Cloud Computing: ConfiChair, a Case Study","authors":"Myrto Arapinis, Sergiu Bursuc, M. Ryan","doi":"10.1007/978-3-642-28641-4_6","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_6","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"16 1","pages":"89-108"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74508741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_19
Matteo Centenaro, R. Focardi, F. Luccio
{"title":"Type-Based Analysis of PKCS#11 Key Management","authors":"Matteo Centenaro, R. Focardi, F. Luccio","doi":"10.1007/978-3-642-28641-4_19","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_19","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"24 1","pages":"349-368"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72646874","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_20
Torben Amtoft, J. Dodds, Zhi Zhang, A. Appel, Lennart Beringer, J. Hatcliff, Xinming Ou, A. Cousino
{"title":"A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow","authors":"Torben Amtoft, J. Dodds, Zhi Zhang, A. Appel, Lennart Beringer, J. Hatcliff, Xinming Ou, A. Cousino","doi":"10.1007/978-3-642-28641-4_20","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_20","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"19 1","pages":"369-389"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86837245","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_4
Jason Franklin, S. Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan
{"title":"Parametric Verification of Address Space Separation","authors":"Jason Franklin, S. Chaki, Anupam Datta, Jonathan M. McCune, Amit Vasudevan","doi":"10.1007/978-3-642-28641-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_4","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"12 1","pages":"51-68"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83052021","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_15
Mu Yang, V. Sassone, Sardaouna Hamadou
{"title":"A Game-Theoretic Analysis of Cooperation in Anonymity Networks","authors":"Mu Yang, V. Sassone, Sardaouna Hamadou","doi":"10.1007/978-3-642-28641-4_15","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_15","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"97 1","pages":"269-289"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82391597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_13
Anupam Datta, Divya Sharma, Arunesh Sinha
{"title":"Provable De-anonymization of Large Datasets with Sparse Dimensions","authors":"Anupam Datta, Divya Sharma, Arunesh Sinha","doi":"10.1007/978-3-642-28641-4_13","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_13","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"30 1","pages":"229-248"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78525425","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-03-24DOI: 10.1007/978-3-642-28641-4_1
C. Dwork
{"title":"Differential Privacy and the Power of (Formalizing) Negative Thinking - (Extended Abstract)","authors":"C. Dwork","doi":"10.1007/978-3-642-28641-4_1","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_1","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"52 1","pages":"1-2"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81541294","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：