论文部分内容阅读
AndroidPermission机制作为一种粗粒度的访问控制机制，不能有效地阻断应用程序对系统资源的滥用，使得Android恶意代码容易借此实施攻击．因此，在AndroidPermission机制的基础上提出了基于行为的Android系统资源访问控制方案，对应用程序访问系统资源的行为进行规范，防止系统资源被滥用而破坏系统安全。该方案利用TLCK（temporallogicofcausalknowledge）时序逻辑描述语言，为与系统安全相关的关键系统资源访问定义安全的行为模式，并对应用程序执行过程中的行