instantiation space的意思|示意
美 / /
英 / /
实例化空间
instantiation space的网络常见释义
实例化空间 ...我们将给出了一个称为“实例化空间(InstantiationSpace)”的安全协议验证逻辑的语义模型． 在实例化空间(Instantiation Space)语义模型基础上，我们提出了一系列与安全属性相关的LLS验证公理，并证明他们在此语义模型下的正确性．这些公理比现有的一些验证逻...