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

筛选
英文 中文
Abstract Channels and Their Robust Information-Leakage Ordering 信道及其鲁棒信息泄漏排序
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_5
Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, L. Meinicke
{"title":"Abstract Channels and Their Robust Information-Leakage Ordering","authors":"Annabelle McIver, Carroll Morgan, Geoffrey Smith, Barbara Espinoza, L. Meinicke","doi":"10.1007/978-3-642-54792-8_5","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_5","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"235 1","pages":"83-102"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91449650","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}
引用次数: 64
Stateful Applied Pi Calculus 状态应用Pi微积分
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2014-04-05 DOI: 10.1007/978-3-642-54792-8_2
Myrto Arapinis, Jia Liu, Eike Ritter, M. Ryan
{"title":"Stateful Applied Pi Calculus","authors":"Myrto Arapinis, Jia Liu, Eike Ritter, M. Ryan","doi":"10.1007/978-3-642-54792-8_2","DOIUrl":"https://doi.org/10.1007/978-3-642-54792-8_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"7 1","pages":"22-41"},"PeriodicalIF":0.0,"publicationDate":"2014-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90809986","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}
引用次数: 17
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
Proving More Observational Equivalences with ProVerif 用ProVerif证明更多的观测等价
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_12
Vincent Cheval, B. Blanchet
{"title":"Proving More Observational Equivalences with ProVerif","authors":"Vincent Cheval, B. Blanchet","doi":"10.1007/978-3-642-36830-1_12","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_12","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"32 1","pages":"226-246"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73213844","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}
引用次数: 82
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学术文献互助群
群 号:604180095
Book学术官方微信