《计算机安全杂志》第27卷
2019年第1期第27卷
马泰奥·马菲 , 朱利奥·马拉沃尔塔 , 曼纽尔·雷内特 , 多米尼克·施罗德 :
对外包个人记录进行隐私和访问控制的ORAM组。 1-47 塞巴斯蒂安·萨尔瓦 , 雷克曼岛 :
将安全模式和攻击步骤关联起来以设计安全应用程序的目录。 49-74 格雷戈里·德迈 , 彼得·加西 , 于利·毛雷尔 , 比约恩·塔克曼 :
会话安全:重新访问基于密码的加密。 75-111 弗雷德里克·阿姆克内特 , 齐奈达·本内森 , 菲利普·莫格纳 , 克里斯蒂安·米勒 , 克里斯蒂安·里斯 :
房间气候数据的隐私影响。 113-136 桑德琳·布莱兹 , 大卫·皮哈迪 , Alix Trieu公司 :
通过抽象解释验证恒定时间实现。 137-163
2019年第2期第27卷
苏里亚迪普塔·马朱姆达尔 , 阿扎德·塔比班 , 约斯尔·贾拉亚 , 莫门·欧卡利 , 阿米尔·阿利穆罕默德法尔 , Makan Pourzandi公司 , 王玲玉 , 穆拉德·德巴巴比 :
学习事件之间的概率依赖关系,以便在云中进行主动安全审计。 165-202 Cas Cremers公司 , 马丁·德内尔·维尔德 , 凯文·米尔纳 :
网格中的安全身份验证:DNP3 SAv5的形式化分析。 203-232 斯特凡诺·卡尔扎瓦拉 , 阿尔维斯·拉比特 , 米歇尔·布列西 :
网络上的子会话劫持:根源和预防。 233-257 阳光田 , 李英九 , 杨国民 , 威利·苏西洛 , 伊木 , 崔慧 , 张英辉 :
DABKE:基于属性的安全可否认密钥交换框架。 259-275
2019年第3期第27卷
卢卡·赫斯基 , 大卫·巴尔德 , 圣埃芬妮·德劳恩 :
一种对私有类型属性进行无边界验证的方法。 277-342 马泰奥·扎瓦泰里 , 卢卡·维甘 :
最后一站:通过控制器合成实现静态、衰减和动态弹性。 343-373 余兴杰 , 迈克尔·唐世文 , 李英九 , 罗伯特·邓慧杰 :
比特币快速支付交易中的串通攻击和公平定时存款。 375-403
2019年第4期第27卷
基兰·S·巴拉加尼 , 马泰奥·卡达奥利 , 毛罗·孔蒂 , 保罗·加斯蒂 , 马丁·乔治耶夫 , 特里斯坦·古特勒 , 丹尼尔·莱恩 , 夏莉莎·米勒 , 肯达尔·莫拉斯 , 尼基塔·萨马林 , 尤根·萨拉奇 , 基因Tsudik , 林恩·吴 :
飞行员:模糊输入视频中的密码和PIN信息泄漏。 405-425 纳瓦夫·阿勒赫贝什 , 王玲玉 , 苏西尔·贾约迪亚 , 阿诺普·辛哈尔 :
通过维护任务分配缓解云中远程管理员的内部威胁。 427-458 托拜厄斯·乌尔本 , 丹尼斯·塔坦 , 霍尔兹 , 诺伯特·波尔曼 :
分析恶意软件泄漏个人信息。 459-481 Gunjan Batra公司 , 维贾亚拉赫米·阿特卢里 , 杰迪普·瓦伊迪亚 , 沙米克·苏拉尔 :
使用RBAC系统部署ABAC策略。 483-506
2019年第5期第27卷
乔治·斯特吉奥普洛斯 , 乔治亚州克罗诺普鲁 , Evangelos Bitsikas公司 , 尼古拉·萨利斯 , Dimitris Gritzalis公司 :
使用侧通道TCP功能实时检测恶意软件连接。 507-520 胡安·鲁比奥 , 罗德里戈罗马 , 克里斯蒂娜·阿尔卡拉兹 , 张燕(音译) :
跟踪工业生态系统中的APT:概念证明。 第521页至第546页 马自强 , 蔡全伟 , 林景强 , 博罗 , Jiwu Jing公司 :
针对分组密码上的远程缓存定时侧通道,实现集成Warm和Delay的最佳性能。 547至580
2019年第6期第27卷
鲁比娅·法蒂玛 , 阿凡·亚辛 , 林刘(Lin Liu) , 王建民 :
钓鱼电子邮件的说服力如何? 一款钓鱼游戏,可提高钓鱼意识。 581-612 Saed Alrabaee公司 , 帕里亚·西拉尼 , 王玲玉 , 穆拉德·德巴比 , 艾曼·汉娜 :
将编码习惯与功能分离,以实现有效的二进制作者归属。 613-648 Thang Hoang(唐璜) , 阿提拉·A·亚武兹 , F.贝图尔·杜拉克 , 豪尔赫·瓜哈尔多 :
一个多服务器不经意的动态可搜索加密框架。 649-676