【24h】

Extending the Strand Space Method to Verify Kerberos V

机译:扩展链空间方法以验证Kerberos V

获取原文

摘要

In this paper, we present two extensions of the strand space method to model Kerberos V. First, we include time and timestamps to model security protocols with times- tamps: we relate a key to a crack time and combine it with timestamps in order to define
机译:在本文中,我们提供了对Kerberos V建模的链空间方法的两个扩展。首先,我们包括了时间和时间戳,以使用时间戳对安全协议进行建模:我们将密钥与破解时间相关联,并将其与时间戳结合在一起,以便限定

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号