《计算机安全杂志》第21卷
2013年第21卷第1期
西蒙·迈尔 , Cas Cremers公司 , 大卫·A·巴思 :
高效构造机器检查的符号协议安全证明。 41-87 Véronique Cortier公司 , 本·斯迈思 :
攻击和修复Helios：选票保密性分析。 89-148 油炸杯 , Nora Cuppens Boulahia公司 , 耶希亚·埃尔拉凯比 
:
具有集体组义务的安全策略的正式规范和管理。 149-190
2013年第21卷第2期
阿图罗·盖格尔 :
神经网络特洛伊木马。 191-232 Dhananjay S.Phatak公司 , 阿兰·谢尔曼 , 尼基尔·乔希 , Bhushan Sonawane公司 , 维维克·雷伦（Vivek G.Relan） , 阿莫尔·达瓦尔巴克塔 :
传播身份：一种新的动态地址重映射机制，用于匿名和DDoS防御。 233-281 弗拉基米尔·科莱斯尼科夫 , 艾哈迈德·雷扎·萨德吉 , 托马斯·施奈德 :
一种实用高效的通用两方安全函数评估协议及其模块化设计的系统方法。 283-315
2013年第3期第21卷
穆尔图扎·贾德利瓦拉 , Igor Bilogrevic公司 , Jean-Pierre Hubaux公司 :
优化普及无线网络中的混合区覆盖。 317-346 阿尔弗雷德·科布萨 , Rishab Nithyanand公司 , 基因Tsudik , 埃尔辛·乌尊 :
珍妮能核实吗？ 出于安全目的，配备显示器的RFID标签的可用性。 347-370 冈纳·克里茨 :
流窃取：适时的重定向攻击。 371-391 阿米尔·赫茨伯格 , 罗恩·马古利斯 :
强制Johnny安全登录。 393-424 Sabrina De Capitani di Vimercati公司 , 萨拉·福雷斯蒂 , 斯特凡诺·帕拉博斯基 , 杰拉尔多·佩洛西 , 皮安吉拉·萨马拉蒂 :
在对外包数据的私有访问中支持并发和多索引。 425-461
2013年第21卷第4期
彼得·马尔泽尔 , 斯蒂芬·马吉尔 , 迈克尔·希克斯 , Mudhakar Srivatsa公司 :
使用概率抽象解释动态实施基于知识的安全策略。 463-532 周方飞 , 玛尼士·戈埃尔 , 彼得·戴斯诺耶斯 , 拉维·桑德兰 :
云计算中的调度程序漏洞和协同攻击。 533-559 约翰·霍莫 , 苏章 , 欧新明 , 大卫·施密特 , 杜燕慧 , S.Raj Rajagopalan公司 , 阿诺普·辛哈尔 :
使用攻击图聚合企业网络中的漏洞度量。 561-597
2013年第21卷第5期
伊万·维斯康蒂 :
特刊：通信网络安全的进展。 599-600 约书亚·巴龙 , 卡里姆·埃尔·德夫拉维 , 基里尔·明科维奇 , 拉斐尔·奥斯特罗夫斯基 , 埃里克·特雷斯勒 :
下午5点：确保模式匹配。 601-625 奥利维尔·布拉齐 , 乔治·富克斯鲍尔 , 大卫·波因契瓦尔 , 达米安·维尔格诺 :
短盲签名。 627-661 克雷格·金特里 , 谢·哈列维 , 克里斯·佩克特 , 奈杰尔·斯马特 :
BGV型同态加密中的字段切换。 663-684 海尔格·利普马 , 张冰生（Bingsheng Zhang） :
一个更有效的计算声音非交互式零知识洗牌参数。 685-719 史蒂文·迈尔斯 , 莫娜·塞尔吉 , 阿比·谢拉特 :
基于明文感知的非延展性CCA1加密方案的黑盒构造。 721-748 胡安·曼努埃尔·冈萨雷斯-尼托 , 马克·曼努利斯 , 伯特伦诗人 , 乔蒂·兰加萨米 , 道格拉斯·斯特比拉 :
可公开验证的密文。 749-778
2013年第6期第21卷
皮耶保罗·德加诺 , 约书亚·D·古特曼 :
前言。 779-780 米里亚姆·帕奥拉 , 布鲁诺·布兰切特 :
使用列表验证安全协议：从长度1到无限长度。 781-816 大卫·A·巴思 , Cas Cremers公司 , 西蒙·迈尔 :
为实体认证修复ISO/IEC 9798标准。 817-846 Myrto Arapinis公司 , Sergiu Bursuc公司 , 马克·瑞恩 :
通过浏览器内的密钥转换支持私有云计算。 847-880 吉尔斯·巴特 , 本杰明·格雷戈里 , 西尔万·赫拉德 , 费德里科·奥尔梅多 , 圣地亚哥·扎内拉·贝盖林 :
验证了椭圆曲线的无差别散列。 881-917 Umut A.Acar公司 , 阿迈勒 , 詹姆斯·切尼 , 罗利·佩雷拉 :
起源的核心演算。 919-969 马特奥·森特纳罗 , 里卡多·福卡迪 , 弗拉米尼娅·卢西奥 :
PKCS#11加密设备中基于类型的密钥管理分析。 971-1007
