机译:检测android权限系统中安全漏洞的正式方法
Univ Nebraska, Dept Comp Sci & Engn, Lincoln, NE 68588 USA;
MIT, Comp Sci & Artificial Intelligence Lab, 77 Massachusetts Ave, Cambridge, MA 02139 USA;
Univ Calif Irvine, Sch Informat & Comp Sci, Irvine, CA USA;
MIT, Comp Sci & Artificial Intelligence Lab, 77 Massachusetts Ave, Cambridge, MA 02139 USA;
Android; Permission protocol; Alloy; Verification;
机译:用于Android恶意软件检测的新型许可排名系统 - 许可年级学生
机译:AppPerm Analyzer:基于Android权限和权限组的恶意软件检测系统
机译:在面向对象的数据库中检测安全缺陷的一种正式方法
机译:通过边界验证检测Android许可协议中的设计缺陷
机译:一种可靠且高效的安全方法,用于检测硬件木马和基于FPGA的系统的身份验证
机译:基于网络安全数据集的预处理表征的IOT聚焦的入侵检测系统方法
机译:在Android许可系统中检测安全漏洞的正式方法
机译:建模和增强android的权限系统。