使用窗体身份验证时通常使用此类型的表，而且在许多应用程序中，密码以明文形式存储。

This sort of table is commonly used when employing forms authentication, and in many applications the passwords are stored as clear text.

youdao

若要更严格地限制对应用程序的访问，需要使用某种形式的身份验证来标识用户。

For more restricted access to an application, you need to use some form of authentication to identify users.

youdao

最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。

Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task.

youdao

同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。

Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.

youdao

同时，用形式化的方法验证了协议，并编写NDIS中间层驱动程序实现了协议。

Simultaneously, we prove this protocol by formalized method and implement this protocol using NDIS Intermediate Drivers.

youdao