...上的正确性(Valid Theory):根本 技术上的可行性(Technology Feasibility):依据 操作上的安全性 ( Safety operation ):保证 经济上的合理性(Economical rationality):核心 47 3、转化率: 指某一底物转化的百分率或分率,其定义为: 转化...
基于12个网页-相关网页
此操作仅当客户机和服务器处于同一个机器上时才能进行,且在定制的安全性插件中没有执行任何特殊的限制逻辑。
This should only work if the client and the server are on the same machine, and no special restriction logic is implemented in the customized security plug-ins.
本质上,类型安全性意味着,除非程序的操作对于类型是合法的,否则就无法在对象上执行操作。
Essentially, type safety means that a program cannot perform an operation on an object unless that operation is valid for that object.
它是第一个能够从机制上验证以保证安全性的操作系统,其中包括的所有汇编语言指令都在启动时经过了静态验证,然后才会运行。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
应用推荐