3) certifying compiler
认证编译器
1.
The certifying compiler for type-based annotation, which is a key component of the safety infrastructure, can translate programs, written in a type safe subset of the C programming language, into highly optimized Intel x86/linux assembly language programs, and also can produce the assembly language programs with annotation based on type-safety policy.
基于类型注解的认证编译器是安全策略系统的核心部件 ,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intelx86 /linux汇编语言程序 ,而且还可以根据类型安全策略的要求产生带注解的汇编程序 实验结果表明 ,新设计的认证编译器可实现 :①类型安全的C语言子集的编译 ;②许多标准的局部优化 ;③可以对数组运行时越界操作进行检查 由于安全策略系统的证明是建立在含注解的代码基础之上的 ,因此 ,该认证编译器在移动代码安全检查中非常有
2.
We have implemented a certifying compiler that translates programs written in a type safe subset of the C programming language into highly annotated .
我们设计的编译器———认证编译器———已经实现了这些算法 ,并完成了从用C编程语言的类型安全子集编写的源程序到携带注解的Intelx86 /linux汇编语言程序的编译过程 。
4) password authentication
口令认证
1.
Remote password authentication scheme based on smart card;
基于智能卡的远程口令认证方案
2.
Mechanism of Password Authentication in Common Use and Its Security Analysis;
常用的口令认证机制及其安全性分析
3.
Mutual password authentication scheme with key distribution
可分发密钥的双向口令认证方案
5) authentication interface
认证接口
6) Port-based Authentication
端口认证
1.
Application and Implementation of RADIUS in Port-based Authentication;
RADIUS在端口认证中的应用及其实现
补充资料：自愿性认证(见产品合格认证)
自愿性认证(见产品合格认证)
voluntary certification: see product conformity certification
Z叨anxing renzheng自愿性认证(volun娜cert讥cation)合格认证。见产品
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条