Keywords = Broadcast Encryption
1. Design and formal verification of DZMBE+

Volume 5, Issue 1, Winter and Spring 2013, Page 37-53

M. Soodkhah Mohammadi; A. Ghaemi Bafghi