نمایش مختصر رکورد

dc.contributor.authorNoferesti, Mortezaen_US
dc.contributor.authorGhasemi, Siminen_US
dc.contributor.authorHadavi, Mohammad Alien_US
dc.contributor.authorJalili, Rasoolen_US
dc.date.accessioned1399-07-09T05:29:45Zfa_IR
dc.date.accessioned2020-09-30T05:29:45Z
dc.date.available1399-07-09T05:29:45Zfa_IR
dc.date.available2020-09-30T05:29:45Z
dc.date.issued2014-01-01en_US
dc.date.issued1392-10-11fa_IR
dc.date.submitted2012-12-15en_US
dc.date.submitted1391-09-25fa_IR
dc.identifier.citationNoferesti, Morteza, Ghasemi, Simin, Hadavi, Mohammad Ali, Jalili, Rasool. (2014). A Trust-Based Approach for Correctness verification of Query Results in Data Outsourcing. Journal of Computing and Security, 1(1), 3-14.en_US
dc.identifier.issn2322-4460
dc.identifier.issn2383-0417
dc.identifier.urihttp://jcomsec.ui.ac.ir/article_21846.html
dc.identifier.urihttps://iranjournals.nlai.ir/handle/123456789/283060
dc.description.abstractCorrectness verification of query results is an important security concern in data outsourcing scenarios. In previous approaches, the correctness verification was impossible in real applications due to its high overhead. A trust-based approach is proposed here to reduce the correctness verification overhead which relies on the previous positive behavior of service provider. A client maintains a trust value for service provider showing the history of service provider comportment. Considering the trust value, the client selects a portion of query result randomly, and forwards it toward the data owner as a result-proof request. The data owner responses to the correctness of the result-proof request using a bloom filter structure. Based on the result-proof response and the trust in the service provider, the client decides whether to accept or reject its query result. In terms of performance, this approach outperforms previous approaches since it does not contain signature overhead in the verification process (which is presented by simulation results). In terms of correctness, this approach is modeled using a transition system and the correctness properties are verified through the Linear Temporal Logic.en_US
dc.format.extent819
dc.format.mimetypeapplication/pdf
dc.languageEnglish
dc.language.isoen_US
dc.publisherUniversity of Isfahan & Iranian Society of Cryptologyen_US
dc.relation.ispartofJournal of Computing and Securityen_US
dc.subjectData Outsourcingen_US
dc.subjectCorrectness Verificationen_US
dc.subjectLinear Temporal Logicen_US
dc.subjectBloom Filteren_US
dc.titleA Trust-Based Approach for Correctness verification of Query Results in Data Outsourcingen_US
dc.typeTexten_US
dc.citation.volume1
dc.citation.issue1
dc.citation.spage3
dc.citation.epage14


فایل‌های این مورد

Thumbnail

این مورد در مجموعه‌های زیر وجود دارد:

نمایش مختصر رکورد