On the analysis of time-aware protocols in universal composability framework
On the analysis of time-aware protocols in universal composability framework
复制标题
通用可组合性框架中时间感知协议分析
DOI：
--
复制
发表时间：
2016
影响因子：
3.2
通讯作者：
I. Vajda
中科院分区：
文献类型：
--
作者：
I. Vajda
我们考虑在通用可组合性(UC)框架(Canetti，2000)中分析时间感知密码协议。我们考虑的任务是实例中消息的及时性以及加密凭据的有效时间，其中时间戳的生存期与许多实例重叠。我们指出，对全局访问实时时钟的时间感知协议的UC分析不能直接在标准模型中进行。对于相应问题的解决，我们考虑了两种方法：一种是在理想系统中引入辅助计时预言，另一种是由两个时间模型组成：量化的实时源和抽象的随机时间源，并证明了它们之间的本质等价性。时间模型不仅提供了理论上的好处，也提供了实践上的好处。
We consider the analysis of time-aware cryptographic protocols in the universal composability (UC) framework (Canetti in 2000). The tasks we consider are the timeliness of messages within an instance as well as the time of validity of cryptographic credentials where the lifetime of time stamps overlaps lots of instances. We point out that the UC analysis of time-aware protocols with global access to real time clock cannot be carried out directly within the standard model. For the resolution of the corresponding problem, we considered two ways: one is the introduction of an auxiliary timing oracle into the ideal system, while the other consists of two time models: a quantized real time source and an abstract “random-time” source, and we show an essential equivalence between them. The time models provide not only theoretical but also practical benefits.