SERE 2013：美国马里兰州盖瑟斯堡
IEEE第七届软件安全与可靠性国际会议，SERE 2013，美国马里兰州盖瑟斯堡，2013年6月18-20日。 电气与电子工程师协会 2013 ，国际标准图书编号 978-1-4799-0406-8 安吉洛斯·斯塔夫鲁 
:
安卓编程：安全性和可靠性的最佳实践。 1-2 Toshio Kaneishi先生 , Tadashi Dohi公司 :
不完全故障分布知识下的软件可靠性建模与评估。 3-12 杨顺坤 , 民研路 , 林戈 :
基于贝叶斯网络的动态仿真软件可靠性预测。 13-20 君艾 , 冯政 , 尚景伟 :
用模糊判别法缩短软件可靠性测试周期。 21-29 小英林 , 李平东 , 宝树保罗·林 :
基于分散擦除码的分布式存储系统中数据可检索性的实证研究。 30-39 克里斯汀·荣格 , 丹尼斯·费特 , 克里斯蒂安·塞斯 :
Android的上下文软件策略实施。 40-49 梁成 , 杨章 , 韩志辉 :
定量测量不同操作系统之间的访问控制机制。 50-59 尹昌松 , 迈克尔·程一秋（Michael Cheng Yi Cho） , 王志伟 , 许家玮 , Shiuhpyng Winston Shieh先生 :
通过标记用户创建的内容实现轻量化CSRF保护。 60-69 雷蒙德·坎扎内塞 , 莫舍·金 , 曼氏螺 :
多通道更改点恶意软件检测。 70-79 许家玮 , 范素诗 , 王志伟 , Shiuhpyng Winston Shieh先生 :
发散检测器：一种检测虚拟机感知恶意软件的细粒度方法。 80-89 陈伯廷（Borting Chen） , 赖倩瑜 , 黄玉伦 :
物理到虚拟迁移的性能映射模型。 90-98 瑞安·K·麦克林 , 马克·西尔维乌斯 , 肯尼思·霍普金森 :
认知无线电网络中提高可靠性的k均值聚类评估方法。 99-108 泽宝高 , 陈振宇 , 杨峰 , Bin Luo（罗斌） :
挖掘用于故障定位和理解的谓词序列模式。 109-118 王平建 , 王磊（Lei Wang） , 吉祥 , 刘鹏（音） , 能高 , Jiwu Jing公司 :
MJBlocker：一个轻量级的运行时恶意JavaScript扩展拦截器。 119-128 陈翠婷 , 汉斯·格哈德·格罗斯 , 安迪·扎伊德曼 :
通过增加监控粒度改进服务诊断。 129-138 左彦君 :
移动和重新定位：软件系统生存性服务迁移的逻辑框架。 139-148 徐方来 , 吴宇松 , Yu Jui Cheng先生 :
利用邻域相似性在广域网络上进行虚拟机迁移。 149-158 艾哈迈德·阿勒鲁德 , 乔治·卡拉巴蒂斯 :
使用线性数据转换技术识别零日攻击。 159-168 陈凯（Kai Chen） , 张英军 , 连毅峰 :
基于漏洞的后门：两步木马的威胁。 169-177 莽惠图 , 梁梁萧 , 徐殿翔 :
考虑到网络可用性，在广泛分布的系统中最大化复制服务的可用性。 178-187 比哈努·埃塞特 , 阿道夫·维拉菲奥里塔 , Komminist Weldemariam公司 , 穆罕默德·祖尔克宁 :
Confeagle：Web应用程序中配置漏洞的自动分析。 188-197 侯赛因·沙利亚尔 , Komminist Weldemariam公司 , 蒂波德·卢特利尔 , 穆罕默德·祖尔科宁 :
基于模型的漏洞和恶意浏览器扩展检测。 198-207 黄世坤 , 韩林路 , Wai-Meng Leong先生 , 刘欢 :
CRAXweb：自动Web应用程序测试和攻击生成。 208-217 帕特里克·卡蒙吉 , Srujan Kotikela公司 , 克里希纳·卡维 , 马哈德万·戈马提桑卡兰 , 阿诺普·辛哈尔 :
VULCAN：云计算漏洞评估框架。 218-226 萨米尔·欧沙尼 , 奥特曼·艾特·穆罕默德 , 穆拉德·德巴比 :
SysML活动图的安全风险评估框架。 227-236 李秋英 , 雷洛（Lei Luo） , 君艾 :
软件可靠性定性指标的确定方法。 237-245
