Abstract : Due to the complexity and dynamic behavior in virtual environment, the efficiency is low when adopting traditional methods to prove the securestate of virtual machines.
摘要 ： 由于虚拟环境的复杂性和动态性，使用传统方法证明其安全状态时会出现运算效率低下的情况；
2
Quintana Roo State has achieved remarkable results in building a secure and environment-friendly society.
金州在构建安全、环保社会方面取得了可喜成绩。
3
One inference was that, if the Palestinians failed to secure a state, Israelis might forfeit theirs too.