Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings

Zijian Zhang, Liehuang Zhu, Lejian Liao, Mingzhong Wang. Computationally sound symbolic security reduction analysis of the group key exchange protocols using bilinear pairings. Inf. Sci., 209:93-112, 2012. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.