Title : ( Design and Formal Verification of DZMBE+ )
Authors: mahdi soodkhah mohammadi , Abbas Ghaemi Bafghi ,Abstract
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature of our scheme is collusion resistance. Using secure multiparty computation, a traitor needs k cooperators in order to create a decryption machine. The broadcaster can choose the value of k as he decides to make a trade-o between communication complexity and collusion resistance. Comparison with other Broadcast Encryption schemes indicates enhanced performance and complexity on the part of the proposed scheme (in terms of message encryption and decryption, key storage requirements, and ciphertext size) relative to similar schemes. In addition, the scheme is modeled using applied pi calculus and its security is veried by means of an automated verication tool, i.e., ProVerif.
Keywords
, Broadcast Encryption, Secure Multiparty Computation, Threshold Secret Sharing, Formal Methods, Applied pi calculus.@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.},
}
%0 Journal Article
%T Design and Formal Verification of DZMBE+
%A Soodkhah Mohammadi, Mahdi
%A Ghaemi Bafghi, Abbas
%J ISeCure
%@ 2008-2045
%D 2013