Abstract : Due to the complexity and dynamic behavior in virtual environment, the efficiency is low when adopting traditional methods to prove the secure state of virtual machines.

摘要 ： 由于虚拟环境的复杂性和动态性，使用传统方法证明其安全状态时会出现运算效率低下的情况；

youdao

Quintana Roo State has achieved remarkable results in building a secure and environment-friendly society.

金州在构建安全、环保社会方面取得了可喜成绩。

youdao

One inference was that, if the Palestinians failed to secure a state, Israelis might forfeit theirs too.

一个推论是，如果巴勒斯坦人不能保卫自己的国家，以色列可能会失去他们的国家。

youdao

He says the state government will go to a higher court to get a tougher sentence and secure justice for the victims.

VOA: standard.2010.06.10

The Hobbesian state was intended to secure the conditions of life, even a highly civilized and cultivated life but one calculated in terms of self-interest and risk avoidance.

霍布斯眼中的国家旨在,保护人民的生命财产安全,即使是那些虽开化有教养却是为一己私利的人,也应当受到国家的保护。

耶鲁公开课 - 政治哲学导论课程节选

Former U.S.President Bill Clinton, husband of Secretary of State Hillary Clinton, visited Pyongyang in August, to secure the freedom of two captive U.S.journalists.

VOA: standard.2009.12.30

No communal interest is big enough to secure state-level or national power.

ECONOMIST: Banyan

Mr Hoon, whose enjoyment of three properties occurred during his stint as defence secretary, says that living in secure state premises was a cheaper option for the taxpayer than having round-the-clock security at his private home.

ECONOMIST: Expenses-gate

And he certainly believes that it is profoundly in the interests of both the Palestinians and the Israelis to achieve that two-state solution that gives Palestinians sovereignty and gives Israel the secure Jewish state that they need and deserve.

WHITEHOUSE: Press Briefing