您现在的位置: 比特财富网 >> 区块链 >  >> 區塊鏈百科
細粒度和應用就緒的距離限制安全性
距離限制 DB 協議正在不同的應用中采用,例如非接觸式支付,無鑰匙入口。www.emoneybtc.com為了使 DB 成為就緒應用程序,需要在數據庫中「挑選」腐敗模型和明確的安全定義。然而,使用四種現有的 DB 形式,這實際上是不可能的,因為每種形式都考慮了五種不同的安全屬性,可以說是交織在一起並且難以在彼此之間進行比較。
特別是,恐怖主義欺詐抵制在數據庫中形式化是臭名昭著的問題。而且,實現這一特性往往會使協議的一般安全性變得薄弱。我們證明:事實上,在針對數據庫協議做出的標准假設下無法實現恐怖主義欺詐抵抗。我們的結果在 DB 中證明了恐怖主義欺詐行為在可證明安全性方面的作用。
由於恐怖主義欺詐抵抗被視為無關緊要,並且為了解決應用就緒數據庫,我們提出了一種新的可證明安全模型來實現距離限制。它將細粒度的白盒和黑盒破壞證明的腐敗模式形式化,並允許腐敗模式中由於分離而驅動的准確的安全定義。此外,我們的模型明確包含一個安全屬性概括性密鑰洩漏,在此之前它僅被隱式研究或作為其他 DB 安全屬性的副產品進行研究。
總而言之,我們的形式主義只需要三種明確的安全定義,可以根據應用程序驅動的證明者腐敗模式「挑選並選擇」這些定義。
  風險提示:比特財富網的各種信息資料僅供參考,不構成任何投資建議,不對任何交易提供任何擔保,亦不構成任何邀約,不作為任何法律文件,投資人據此進行投資交易而產生的後果請自行承擔,本網站不承擔任何責任,理財有風險,投資需謹慎。
比特財富網 版權所有 © www.emoneybtc.com