...安全协议验证 [gap=899]ords ：OBDDs; mu-calculus; temporal logics of knowledge; symbolic model checking; protocol verification； ...
基于1个网页-相关网页
我们给出了一些新的模型检测算法，并探讨它们在安全协议验证中的应用。
We presented several new algorithms of model checking epistemic logics, and explore their applications in verifications of security protocols.
这种方法的优点在于，所有数据源和处理中心都不必建立独特的安全协议，也不必重新对每个数据请求进行身份验证。
The advantage of this approach is that all the data sources and processing centers don't have to establish unique security protocols, nor must they reauthenticate on every request for data.
即使启用了安全性，部署管理器仍然使用未经过身份验证的协议向节点代理发送配置更新。
Even when security is enabled, the deployment manager continues to communicate configuration updates to the node agents using an unauthenticated protocol.
应用推荐