原创力文档- 1、本文档共20页，其中可免费阅读7页，需付费100金币后方可阅读剩余内容。
- 2、本文档内容版权归属内容提供方，所产生的收益全部归内容提供方所有。如果您对本文有版权争议，可选择认领，认领后既往收益都归您。
- 3、本文档由用户上传，本站不保证质量和数量令人满意，可能有诸多瑕疵，付费之前，请仔细先通过免费阅读内容等途径辨别内容交易风险。如存在严重挂羊头卖狗肉之情形，可联系本站下载客服投诉处理。
- 4、文档侵权举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
第卷第期计算机学报年月面向移动应用软件信息泄露的模型检测研究过辰楷许静司冠南李恩鹏徐思涵南开大学计算机与控制工程学院天津山东交通学院信息科学与电气工程学院济南摘要移动平台上的应用软件私密信息泄露漏洞关注违背用户意愿的接口或数据暴露而泄露形式和内容的复杂性增添了该类漏洞的检测难度现有方法主要利用传统的静态数据流分析及动态监控等技术易发生漏报和误报且无法处理隐式信息泄露问题该文首次将基于线性时序逻辑的模型检测技术应用于移动软件信息泄露检测上提出了一种基于安全要素语句插装的泄露检测方法文章首先针对代码
第 卷 第 期 计 算 机 学 报
３９ １１
Ｖｏｌ．３９ Ｎｏ．１１
年 月
２０１６ １１ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｎｏｖ．２０１６
您可能关注的文档
- 结构光条纹图像分割方法-计算机应用与软件.pdf
- 武汉大学图书馆读者校园网外电子资源访问设置说明2005年11月版.doc
- 八院合作研究项目需求-南京信息工程大学.pdf
- 瓷砖刮平机刮削深度建模与试验研究.pdf
- 关注食品安全构建和谐校园2.ppt
- 端午节必备全国各地18种特色粽子做法.pdf
- 基于反馈线性化的h一v返回轨道跟踪方法-宇航学报.pdf
- 脑脊液细胞学检查是一种细胞形态学检验-第三军医大学学报.doc
- 台北县立溪昆国民中学九十八学年第一学期第二次定期评量自然科.doc
- 脉冲微波处理对大米理化指标和流变特性的影响-华中农业大学学报.pdf
- DB3411_T 0009-2022 池河糕小作坊生产规范.docx
- DB3410_T 21-2023 多花黄精病虫害绿色防控技术规程.docx
- DB3415_T 17-2021 茯神栽培技术规程.docx
- DB3415_T 20-2021 山区茶树气象灾害指标划分技术规范.docx
- DB3415_T 24-2022 六安瓜片茶 手工炒制加工技术规程.docx
- DB3415_T 25-2022 六安瓜片茶 机械炒制加工技术规程.docx
- DB3415_T 58-2023 预制菜包装、贮存、运输规范.docx
- DB3417_T 014-2022 池州特色小吃 贵池小粑.docx
- DB3418_T 014-2022 电机检验检测机构后勤服务规范.docx
- DB3418_T 015-2022 电机检验检测机构客户服务规范.docx
文档评论（0）