2010年第23届CSF:英国爱丁堡
2010年7月17日至19日,英国爱丁堡,第23届IEEE计算机安全基础研讨会论文集,CSF 2010。 IEEE计算机学会 2010 ,十亿 978-0-7695-4082-5 鲍里斯·科普夫 , 安德烈·里巴尔琴科 :
定量信息流分析的近似和随机化。 3-14 Hirotoshi Yasuoka先生 , 塔奇·特劳奇 :
定量信息流-验证难度和可能性。 15-27 迈克尔·克拉克森 , 弗雷德·施耐德 :
完整性量化。 28-43 鲍里斯·科普夫 , 杰弗里·史密斯 :
定时攻击下盲密码的漏洞边界和泄漏弹性。 44-56 马蒂尔德·阿尔诺 , Véronique Cortier公司 , 圣埃芬妮·德劳恩 :
建模和验证Ad Hoc路由协议。 59-74 梅拉·布鲁斯 , Konstantinos Chatzikokolakis公司 , 杰里·登·哈特戈 :
RFID系统隐私的正式验证。 75-88 吉尔斯·巴特 , 亚历杭德罗·赫维亚 , 罗正琴 , 塔玛拉·雷兹克 , 博格丹·瓦林斯基 :
匿名性的健壮性保证。 91-106 Myrto Arapinis公司 , 汤姆·乔西亚 , 艾克·里特 , 马克·瑞恩 :
使用应用Pi演算分析不可链接性和匿名性。 107-121 拉尔夫·库斯特斯 , 托马斯·特鲁德隆 , 安德烈亚斯·沃格特 :
基于游戏的胁迫抵抗定义及其应用。 122-136 亚当·J·李 , 丁瑜(Ting Yu) :
授权证明的定量分析:应用程序、框架和技术。 139-153 卢乔·鲍尔 , 李敏佳 , 迪维亚·夏尔马 :
在基于逻辑的访问控制中限制凭据的使用。 154-168 莫里茨·Y·贝克尔 :
凭证系统中的信息流。 171-185 亚历杭德罗·拉索 , 安德烈·萨贝尔菲尔德 :
动态与静态流敏感安全分析。 186-199 安德烈·丘德诺夫 , 大卫·A·诺曼 :
信息流监视器嵌入。 200-214 斯蒂芬·庄(Stephen Chong) :
所需信息发布。 215-227 西蒙·迈尔 , Cas Cremers公司 , 大卫·A·巴思 :
高效构造机器检查协议安全证明的强不变量。 231-245 吉尔斯·巴特 , 丹尼尔·赫丁 , 圣地亚哥·扎内拉·贝盖林 , 本杰明·格雷戈里 , 西尔万·赫拉德 :
Sigma-协议的机器检查形式化。 246-260 Benedikt Schmidt公司 , 帕特里克·夏勒 , 大卫·A·巴思 :
秘密设立的不可能结果。 261-273 胡安·加雷 , 阿格洛斯·凯亚斯 , 周洪生 :
密码任务健全规范框架。 277-289 Devdatta Akhawe公司 , 亚当·巴尔特 , 培丰E.Lam , 约翰·米切尔 , 黎明之歌 :
走向网络安全的正式基础。 290-304 Alwen Tiu先生 , 杰里米·道森 :
自动进行Spi演算的开放互模拟检查。 307-321 斯特凡·西奥巴 , Véronique Cortier公司 :
任意基元的协议合成。 322-336 马丁·阿巴迪 , 戈登·普洛金 :
论布局随机化保护。 337-351
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)