Görkem Kılınç, “Formal Specification of Id-Based Distributed Private Key Generation”, 15 Mart 2012

Bilgisayar Mühendisliği Bölümü Semineri:

	Başlık:	Formal Specification of Id-Based Distributed Private Key Generation
	Konuşmacı:	Görkem Kılınç
	Tarih:	15 Mart 2012
	Saat:	17:00-18:00
	Yer:	Bilgisayar Ağları Laboratuvarı
	Sunum Dili:	İngilizce

In 1984 A. Shamir [1] put forward the term identity based cryptography. He introduced a cryptographic scheme which enables users to communicate securely and to verify each other’s signature without exchanging private or public keys and without keeping a key directory. Although it does not require a certication authority it has a weakness which is key escrow problem. Boneh and Franklin [2] suggested distributed private key generation to minimize the risk of failure because of this problem. A. Kate and I. Goldberg [3] improved Boneh’s and Franklin’s approach and they also included the proactive security and forward secrecy of the master key and they designed distributed a private key generation protocol in an asynchronous communication model. In this presentation we will be talking on a possible use of Petri Nets [4] for modeling and analysing this cryptographic protocol which allows us to verify some security properties of the protocol.
References:
[1] A. Shamir, Identity-based cryptosystems and signature schemes, in Advances in Cryptology Crypto ’84, Lecture Notes in Computer Science, Vol. 196, Springer-Verlag, pp. 4753, 1984.
[2] D. Boneh and M. K. Franklin, Identity-based encryption from the Weil pairing, Advances in Cryptology – Crypto’2001, volume 2139 of Lecture Notes in Computer Science, pages 213-229. Springer, 2001.
[3] A. Kate, I. Goldberg, Asynchronous Distributed Private-Key Generators for Identity-Based Cryptography. Cryptology ePrint Archive, Report 2009/355 at http://eprint.iacr. org/2009/355 (April 2010).
[4] C.A. Petri. Kommunikation mit Automaten. PhD thesis, Institut für instrumentelle Mathematik, Bonn, 1962.