要避免因为信任发送服务器而带来的相关风险，这种断言过程中引入了服务器验证。
To avoid the risks related to trusting the sending server, server validation is introduced into the assertion process.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
当引入一个互操作方法时，要断言不可控代码操作允许，并且声明相应的允许权限。
When importing an interop method, assert unmanaged code permission, and demand appropriate permission instead.
应用推荐