本文首先扩展了串空间的理想理论，然后应用此扩展理论分析IKE2协议的核心安全：秘密性和认证性。

In this paper, we first extend the ideal theory of Strand Spaces, and then apply this extended theory to analyzing a complex Internet key exchange protocol, LKE2.

youdao

这就是你的说法，如果你接受理想容器理论的话。

That's what you can say if you accept the fantastic container theory.

youdao

与此相比，理想价值容器理论的支持者会说，是对是错无关紧要，it, doesn ' t, really, matter, whether, Williams, is, right。，就算永生，会无聊得可怕和乏味透顶或更糟糕，这都没有关系。

Against that, fans of the fantastic valuable container theory can say, Williams Even if being immortal would become horrendously boring and tedious or worse, it doesn't matter.

youdao

We could call this the "fantastic valuable container theory" as opposed to the "modest valuable container theory."

我们可以称之为“理想价值容器理论“,它与“保守价值容器理论“形成对照“

耶鲁公开课 - 死亡课程节选

The theory of insurance is that ideally an insurance company wants to insure independent events.

保险理论就是在理想状态下,保险公司为独立事件承保

耶鲁公开课 - 金融市场课程节选

I don't find the fantastic container theory myself-- I don't find it particularly attractive.

我并不觉得理想容器理论-,非常有吸引力。

耶鲁公开课 - 死亡课程节选