期刊名称：International Journal of Computer Science and Information Technologies
电子版ISSN：0975-9646
出版年度：2012
卷号：3
期号：5
页码：5200-5205
出版社：TechScience Publications
摘要：ID-based encryption (or identity-based encryption (IBE)) is an important primitive of ID-based cryptography. As such it is a type of public-key encryption in which the public key of a user is some unique information about the identity of the user (e.g. a user's email address). This can use the text-value of the name or domain name as a key or the physical IP address it translates to. Authenticated key agreement protocols are fundamental for secure communication over insecure environments. However design of a secure protocol is erroneous because of the inherent complexity of the problem. In this paper we present a novel improvement to the existing improved Lee-Lee Identity based key agreement protocol using the technique of Timestamp. We have shown that popular analysis frameworks (Lee Lee models) can be extended in a natural way using this technique, and that this permits addressing a new class of real-world protocols that, until now, lacked a complete formal treatment. In order to rigorously analyze the security of this protocol, one would need to define a timed version of threeparty key agreement security models. Moving away from key agreement and authentication protocols, our approach opens the way for the formal analysis of time-related cryptographic protocols such as those aiming to provide secure message timestamping and clock-synchronization. Finally, it would be interesting to see how one could apply a similar approach to security models that try to capture public key infrastructures.
