You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the 查看temporal rover试用版(在运行时检查时态逻辑断言的工具) 。
Today ' s children have assertive personalities . they evolve quickly and no longer want to be associated with babies 今天孩子有断言的个性。他们迅速演变和不再想要同婴孩联系在一起。
An assertion is effective only if the code that calls assert passes the security check for the permission that it is asserting 的代码通过对它所断言的权限的安全性检查时,断言才有效。
Inflationary pressure has abated and , as mr bernanke argued , the economy has seemed to shrug off the housing market 目前看来经济确实并未受到房市降温的负面影响,正如他当时所断言的那样。
This is a servlet or application that receives the authorization , checks the role and authorization , and then makes an assertion 这是一个接收权限、检查角色和权限,然后做出断言的servlet或应用程序。
Saml is built on a foundation that requires ssl certificates to provide digital signing and encryption of saml assertions Saml构建在需要公钥基础结构( pki )的基础之上,以提供数字签名和saml断言的加密。
When you assert a permission , it tells the security system not to check the callers of your code for the asserted permission 当您断言一个权限时,即通知安全系统不要检查您的代码的调用方是否有断言的权限。
For servers in cell b to accept the identity assertion , the upstream server in cell a must authenticate itself first 对于计算单元b中接受标识断言的服务器,计算单元a中的上游服务器必须首先对自身进行身份验证。
You can see groovy assertions in action starting with the example in listing 5 , a nifty java - based method that splits 从清单5的示例开始,就可以看到groovy断言的实际效果,清单5是一个简洁的基于java的方法,它把
Saml is different from other security approaches mostly because of its expression of security in the form of assertions about subjects Saml与其它安全性方法的最大区别在于它以有关多个主体的断言的形式来表述安全性。