在DB 2数据库中使用静态SQL早已被公认为可以提高性能、稳定性和安全性,但是在过去需要专门化的编程才能利用它。
Static SQL against a DB2 database has long been recognized for its ability to improve performance, stability, and security, but has historically required specialized coding to utilize it.
HACCP体系被世界公认为是确保食品安全卫生的最有效的管理方法。
HACCP system was recognized to insure food safety sanitary most effective manage means by the world.
安全协议形式化分析技术的提出,将协议的安全性问题转化为数学问题,采用数学证明的手段来代替直觉的判定,近年来已逐步被公认为解决安全问题的合理方案。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
应用推荐