@article{paperid:1037420, author = {Soodkhah Mohammadi, Mahdi and Ghaemi Bafghi, Abbas}, title = {Design and Formal Verification of DZMBE+}, journal = {ISeCure}, year = {2013}, volume = {5}, number = {1}, month = {October}, issn = {2008-2045}, pages = {1--17}, numpages = {16}, keywords = {Broadcast Encryption; Secure Multiparty Computation; Threshold Secret Sharing; Formal Methods; Applied pi calculus.}, }