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

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

筛选
英文 中文
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
A Theory of Agreements and Protection 协议与保护理论
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_10
Massimo Bartoletti, Tiziana Cimoli, R. Zunino
{"title":"A Theory of Agreements and Protection","authors":"Massimo Bartoletti, Tiziana Cimoli, R. Zunino","doi":"10.1007/978-3-642-36830-1_10","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_10","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"380 1","pages":"186-205"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89606987","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
Formal Verification of e-Auction Protocols 电子拍卖协议的正式验证
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_13
Jannik Dreier, P. Lafourcade, Y. Lakhnech
{"title":"Formal Verification of e-Auction Protocols","authors":"Jannik Dreier, P. Lafourcade, Y. Lakhnech","doi":"10.1007/978-3-642-36830-1_13","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_13","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"13 1","pages":"247-266"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89903701","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}
引用次数: 46
Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks 移动Ad Hoc网络中路由协议隐私性的形式化分析
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_1
Rémy Chrétien, S. Delaune
{"title":"Formal Analysis of Privacy for Routing Protocols in Mobile Ad Hoc Networks","authors":"Rémy Chrétien, S. Delaune","doi":"10.1007/978-3-642-36830-1_1","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_1","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"64 1","pages":"1-20"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74597205","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
On Layout Randomization for Arrays and Functions 关于数组和函数的布局随机化
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_9
M. Abadi, Jérémy Planul
{"title":"On Layout Randomization for Arrays and Functions","authors":"M. Abadi, Jérémy Planul","doi":"10.1007/978-3-642-36830-1_9","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_9","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"54 1","pages":"167-185"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91100025","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}
引用次数: 15
Practical Everlasting Privacy 实用的永久隐私
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_2
Myrto Arapinis, V. Cortier, S. Kremer, M. Ryan
{"title":"Practical Everlasting Privacy","authors":"Myrto Arapinis, V. Cortier, S. Kremer, M. Ryan","doi":"10.1007/978-3-642-36830-1_2","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"109 10 1","pages":"21-40"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86394361","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}
引用次数: 33
Lazy Mobile Intruders 懒惰的移动入侵者
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2013-03-16 DOI: 10.1007/978-3-642-36830-1_8
S. Mödersheim, F. Nielson, H. R. Nielson
{"title":"Lazy Mobile Intruders","authors":"S. Mödersheim, F. Nielson, H. R. Nielson","doi":"10.1007/978-3-642-36830-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-36830-1_8","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"602 1","pages":"147-166"},"PeriodicalIF":0.0,"publicationDate":"2013-03-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77352868","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
Analysing Routing Protocols: Four Nodes Topologies Are Sufficient 路由协议分析:4个节点拓扑就足够了
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2012-03-24 DOI: 10.1007/978-3-642-28641-4_3
V. Cortier, Jan Degrieck, S. Delaune
{"title":"Analysing Routing Protocols: Four Nodes Topologies Are Sufficient","authors":"V. Cortier, Jan Degrieck, S. Delaune","doi":"10.1007/978-3-642-28641-4_3","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_3","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"102 1","pages":"30-50"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85519215","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}
引用次数: 27
Verified Indifferentiable Hashing into Elliptic Curves 验证椭圆曲线的不可微哈希
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2012-03-24 DOI: 10.1007/978-3-642-28641-4_12
G. Barthe, B. Grégoire, S. Heraud, Federico Olmedo, Santiago Zanella Béguelin
{"title":"Verified Indifferentiable Hashing into Elliptic Curves","authors":"G. Barthe, B. Grégoire, S. Heraud, Federico Olmedo, Santiago Zanella Béguelin","doi":"10.1007/978-3-642-28641-4_12","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_12","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"78 1","pages":"209-228"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88339715","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
Security Protocol Verification: Symbolic and Computational Models 安全协议验证:符号和计算模型
Natural Product Discovery & Development in the Post Genomic Era Pub Date : 2012-03-24 DOI: 10.1007/978-3-642-28641-4_2
B. Blanchet
{"title":"Security Protocol Verification: Symbolic and Computational Models","authors":"B. Blanchet","doi":"10.1007/978-3-642-28641-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-28641-4_2","url":null,"abstract":"","PeriodicalId":19040,"journal":{"name":"Natural Product Discovery & Development in the Post Genomic Era","volume":"29 2","pages":"3-29"},"PeriodicalIF":0.0,"publicationDate":"2012-03-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91501753","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}
引用次数: 106
首页 上一页 下一页 尾页
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学术官方微信