Although verification of type safety is not mandatory to run managed code, type safety plays a crucial role in assembly isolation and security enforcement.

尽管类型安全验证对于运行托管代码不是强制的，但类型安全在程序集隔离和安全性强制中起着至关重要的作用。

youdao

Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.

现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。

youdao

In addition, the secretary of Homeland Security must have "implemented a mandatory employment verification system to be used by all employers to prevent unauthorized workers from obtaining employment in the United States, " according to the bill summary.

CNN: SHARE THIS

After 10 years, people with provisional legal status could apply for permanent residency if the new security and fencing plans were operating, a new mandatory employment verification system was in place, and a new electronic exit system was tracking who leaves the country.

NPR: GOP: Stronger Borders Or Immigration Bill Will Die

People living here illegally could begin to get green cards in 10 years, but only if a new southern border security plan is in place, employers have adopted mandatory electronic verification of their workers' legal status and a new electronic exit system is operating at airports and seaports.

NPR: AP Source: Senate Plan To Stiffen Border Security