DESIGN AND FORMAL VERIFICATION OF DZMBE

Q: How can I download an article?

To download an article from SID, first log in to the site, search for the article title, and click on the 'Download Article' option.

Q: How can I download an ISI article?

To download an ISI article on SID, enter the keyword or article title in the search bar, view the relevant results, click on the desired article, and select the 'Download Article' option.

Q: How can I access the SID database?

To access the SID database, visit SID.ir, create an account, and log in to access scientific resources.

Q: Is downloading articles from SID free?

Some articles on SID are available for free, while others require payment. Details are specified on the article's page.

SOODKHAH MOHAMMADI MAHDI; GHAEMI BAFGHI ABBAS

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

Journal Paper

Paper Information

Journal: THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY Year:2013 | Volume:5 | Issue:1 Page(s): 37-53

Download Full-Text

Persian Verion

View:

443

Download:

130

Cites:

Information Journal Paper

Title

DESIGN AND FORMAL VERIFICATION OF DZMBE

Author(s)

SOODKHAH MOHAMMADI MAHDI | GHAEMI BAFGHI ABBAS | Issue Writer Certificate

Keywords

BROADCAST ENCRYPTIONQ2

SECURE MULTIPARTY COMPUTATIONQ2

THRESHOLD SECRET SHARINGQ2

FORMAL METHODSQ2

APPLIED PI CALCULUSQ2

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 needsk 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 verified by means of an automated verification tool, i.e., ProVerif.

Cites

No record.

References

No record.

Cite

APA: Copy

SOODKHAH MOHAMMADI, MAHDI, & GHAEMI BAFGHI, ABBAS. (2013). DESIGN AND FORMAL VERIFICATION OF DZMBE. THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 5(1 ), 37-53. SID. https://sid.ir/paper/241814/en

Vancouver: Copy

SOODKHAH MOHAMMADI MAHDI, GHAEMI BAFGHI ABBAS. DESIGN AND FORMAL VERIFICATION OF DZMBE. THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY[Internet]. 2013;5(1 ):37-53. Available from: https://sid.ir/paper/241814/en

IEEE: Copy

MAHDI SOODKHAH MOHAMMADI, and ABBAS GHAEMI BAFGHI, “DESIGN AND FORMAL VERIFICATION OF DZMBE,” THE ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, vol. 5, no. 1 , pp. 37–53, 2013, [Online]. Available: https://sid.ir/paper/241814/en

Related Journal Papers