...我们将给出了一个称为“实例化空间(InstantiationSpace)”的安全协议验证逻辑的语义模型． 在实例化空间(Instantiation Space)语义模型基础上，我们提出了一系列与安全属性相关的LLS验证公理，并证明他们在此语义模型下的正确性．这些公理比现有的一些验证逻...
基于38个网页-相关网页
操作系统级的虚拟化是一种服务器虚拟化方法，在这种方法中，操作系统的内核支持多个相互隔离的用户空间实例。
Operating system-level virtualization is a server virtualization method where the kernel of an operating system allows for multiple isolated user-space instances.
每个客户操作系统都有自己的地址空间，并且是在实例化客户操作系统时映射的。
Each guest operating system has its own address space that is mapped when the guest is instantiated.
开发者会创建一个指定大小的Scoped内存域，当实例化一个对象的时候，会从这个域内分配一块空间给它。
A developer will create a scoped memory area of a specific size and when objects are instantiated the space for them will be allocated from this area.
应用推荐