...小于（LessThan ）y 的体积Volume 时（在Horn 子句 中变量vx 和vy 分别表示x 和y 的体积值），则对象x 可安全堆叠（SafeToStack）在对象y 上。 注意 Horn 子句假设可包含用于描述实例的任意谓词，以及几个附加的谓词和函数。
基于8个网页-相关网页
缓冲区溢位导致安全性问题的另一个方法是透过摧毁堆叠。
Another way in which buffer overflows cause security problems is through stack-smashing attacks.
除了对框架的增强，还可以堆叠安全模块，从而允许多个安全模块共存，而且最大限度地覆盖了Linux的安全需求。
In addition to enhancements to the framework, it's possible to stack security modules, allowing multiple security modules to coexist and provide maximum coverage for Linux's security needs.
若要使执行效能最佳化，您可以让您的程序码执行较少的堆叠查核行程，然而，您必须确定并没有泄露任何安全漏洞。
To optimize performance, you can have your code perform fewer stack walks; however, you must be sure that you do not expose a security weakness whenever you do this.
应用推荐