Sch. of Comput. Sci. Eng., Kyungpook Nat. Univ., Daegu, South Korea;
Android; inter-component communication; modeling; security analysis; test case generation;
机译:RoppDroid:Android组件间通信中强大的权限重新授权预防
机译:将静态分析与概率模型相结合,以实现市场规模的Android组件间分析
机译:使用通信覆盖标准和部分模型生成来辅助软件集成测试
机译:Android中组件间通信的建模与测试案例
机译:组件间通信攻击对Android系统的自我保护
机译:家长sEs通信和儿童词汇发展:家庭投资模型的3代测试
机译:RAICC:在Android应用程序中揭示非典型组件间通信