Miller,”short programs for functions on curves” 这是一篇经典文章，不过如果对椭圆曲线不是很熟悉，可能不是很好懂。你可以看

Ian Blake, Kumar Murty and Guangwu Xu “Refinements of Miler’s Algorithm for Computing Weil/Tate pairing” 的第二部分，给出了具体的Miller算法计算Weil对的过程。

建议你先看看椭圆曲线的书中关于除子定义的部分。这样可以更深入的理解。

椭圆曲线入门的书：

“introduction to elliptic curves and Their applitctions to cryptography” Enge

这本书以代数的方式讲解，

“Elliptic curves:number theory and cryptography” 这本书从数论的角度讲解

你可以根据自己的爱好选择。

Mao Wenbo最近写了一本新书《Cryptographic Protocols Authored》 by Markus Jakobsson

and Wenbo Mao, to be published in February 2006 by Prentice-Hall。

其中第三章是ELLIPTIC CURVES AND BILINEAR PAIRINGS，最后一节（3.3节）专门讲双线性对的，写的比较清楚。

想深入了解的话，可以看I. F. Blake, G. Seroussi and N. P. Smart, 《Advances in

elliptic curve cryptography》. Cambridge University Press, 2005.

Chapter IX. Pairing 或楼上提到的几本书.

我建议看毛文波写的那章,确实写的比较好.可以称得上浅显易懂.

另外,好像Koblitz也写过一个简单的介绍,也不错.

椭圆曲线的书籍,最为博大精深的应该是” the arithmetic of elliptic curves” silverman写的。偌大个北京城，居然只有三本在书店里面卖。

毛文波的那章，在他的个人网站上面可以免费下载，说一声。