...我们将给出了一个称为“实例化空间(InstantiationSpace)”的安全协议验证逻辑的语义模型. 在实例化空间(Instantiation Space)语义模型基础上,我们提出了一系列与安全属性相关的LLS验证公理,并证明他们在此语义模型下的正确性.这些公理比现有的一些验证逻...
基于38个网页-相关网页
instantiation space
实例化空间
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动