距離限制 DB 協議正在不同的應用中采用，例如非接觸式支付，無鑰匙入口。為了使 DB 成為就緒應用程序，需要在數據庫中「挑選」腐敗模型和明確的安全定義。然而，使用四種現有的 DB 形式，這實際上是不可能的，因為每種形式都考慮了五種不同的安全屬性，可以說是交織在一起并且難以在彼此之間進行比較。
特別是，恐怖主義欺詐抵制在數據庫中形式化是臭名昭著的問題。而且，實現這一特性往往會使協議的一般安全性變得薄弱。我們證明：事實上，在針對數據庫協議做出的標準假設下無法實現恐怖主義欺詐抵抗。我們的結果在 DB 中證明了恐怖主義欺詐行為在可證明安全性方面的作用。
由于恐怖主義欺詐抵抗被視為無關緊要，并且為了解決應用就緒數據庫，我們提出了一種新的可證明安全模型來實現距離限制。它將細粒度的白盒和黑盒破壞證明的腐敗模式形式化，并允許腐敗模式中由于分離而驅動的準確的安全定義。此外，我們的模型明確包含一個安全屬性概括性密鑰泄漏，在此之前它僅被隱式研究或作為其他 DB 安全屬性的副產品進行研究。
總而言之，我們的形式主義只需要三種明確的安全定義，可以根據應用程序驅動的證明者腐敗模式「挑選并選擇」這些定義。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
