发布求助
文献互助 智能选刊 最新文献

Natural Product Discovery & Development in the Post Genomic Era最新文献

筛选
英文 中文
Leakage Resilience against Concurrent Cache Attacks 针对并发缓存攻击的泄漏弹性
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_8
G. Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa
{"title":"Leakage Resilience against Concurrent Cache Attacks","authors":"G. Barthe, Boris Köpf, Laurent Mauborgne, Martín Ochoa","doi":"10.1007/978-3-642-54792-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_8","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"16 1","pages":"140-158"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86973724","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}
引用次数: 22
Decentralized Composite Access Control 分散复合访问控制
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_14
Petar Tsankov, Srdjan Marinovic, M. Dashti, D. Basin
{"title":"Decentralized Composite Access Control","authors":"Petar Tsankov, Srdjan Marinovic, M. Dashti, D. Basin","doi":"10.1007/978-3-642-54792-8_14","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_14","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"80 1","pages":"245-264"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81531669","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}
引用次数: 19
Defining and Enforcing Referential Security 定义和实施引用安全性
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_11
Jed Liu, A. Myers
{"title":"Defining and Enforcing Referential Security","authors":"Jed Liu, A. Myers","doi":"10.1007/978-3-642-54792-8_11","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_11","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"17 1","pages":"199-219"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80468274","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}
引用次数: 10
A Separation Logic for Enforcing Declarative Information Flow Control Policies 用于执行声明性信息流控制策略的分离逻辑
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_10
D. Costanzo, Zhong Shao
{"title":"A Separation Logic for Enforcing Declarative Information Flow Control Policies","authors":"D. Costanzo, Zhong Shao","doi":"10.1007/978-3-642-54792-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_10","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"24 1","pages":"179-198"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85077566","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}
引用次数: 14
A reduced semantics for deciding trace equivalence using constraint systems 用约束系统确定迹等价的简化语义
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-01-13 DOI: 10.1007/978-3-642-54792-8_1
David Baelde, S. Delaune, L. Hirschi
{"title":"A reduced semantics for deciding trace equivalence using constraint systems","authors":"David Baelde, S. Delaune, L. Hirschi","doi":"10.1007/978-3-642-54792-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_1","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"7 1 1","pages":"1-21"},"PeriodicalIF":0.0,"publicationDate":"2014-01-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78054323","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}
引用次数: 13
Temporal Logics for Hyperproperties 超属性的时间逻辑
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-06-27 DOI: 10.1007/978-3-642-54792-8_15
Michael R. Clarkson, B. Finkbeiner, M. Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez
{"title":"Temporal Logics for Hyperproperties","authors":"Michael R. Clarkson, B. Finkbeiner, M. Koleini, Kristopher K. Micinski, Markus N. Rabe, César Sánchez","doi":"10.1007/978-3-642-54792-8_15","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_15","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"78 1","pages":"265-284"},"PeriodicalIF":0.0,"publicationDate":"2013-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83777185","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}
引用次数: 241
Sound Security Protocol Transformations 可靠的安全协议转换
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_5
Thanh Binh Nguyen, C. Sprenger
{"title":"Sound Security Protocol Transformations","authors":"Thanh Binh Nguyen, C. Sprenger","doi":"10.1007/978-3-642-36830-1_5","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_5","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"35 1","pages":"83-104"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88302063","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}
引用次数: 5
A Differentially Private Mechanism of Optimal Utility for a Region of Priors 先验区域的最优效用差异私有机制
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_3
Ehab ElSalamouny, K. Chatzikokolakis, C. Palamidessi
{"title":"A Differentially Private Mechanism of Optimal Utility for a Region of Priors","authors":"Ehab ElSalamouny, K. Chatzikokolakis, C. Palamidessi","doi":"10.1007/978-3-642-36830-1_3","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_3","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"94 1","pages":"41-62"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83577234","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}
引用次数: 5
Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage 云的钥匙:对加密Web存储的形式分析和具体攻击
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_7
Chetan Bansal, K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis
{"title":"Keys to the Cloud: Formal Analysis and Concrete Attacks on Encrypted Web Storage","authors":"Chetan Bansal, K. Bhargavan, Antoine Delignat-Lavaud, S. Maffeis","doi":"10.1007/978-3-642-36830-1_7","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_7","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"41 1","pages":"126-146"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77578431","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}
引用次数: 48
Sessions and Separability in Security Protocols 安全协议中的会话和可分离性
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_14
Marco Carbone, J. Guttman
{"title":"Sessions and Separability in Security Protocols","authors":"Marco Carbone, J. Guttman","doi":"10.1007/978-3-642-36830-1_14","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_14","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"2011 1","pages":"267-286"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82607866","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}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信