It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
通过对移动计算安全框架的分析，指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
It is an efficient way of combining the static analysis based on the security extended type system to solve the mobile computation security problems.
通过对移动计算安全框架的分析，指出考虑安全性要求的扩展类型系统这一静态分析方法是解决移动计算安全性问题的有效方法之一。
应用推荐