距離限制 DB 協議正在不同的應用中采用，例如非接觸式支付，無鑰匙入口。www.emoneybtc.com為了使 DB 成為就緒應用程序，需要在數據庫中「挑選」腐敗模型和明確的安全定義。然而，使用四種現有的 DB 形式，這實際上是不可能的，因為每種形式都考慮了五種不同的安全屬性，可以說是交織在一起並且難以在彼此之間進行比較。
特別是，恐怖主義欺詐抵制在數據庫中形式化是臭名昭著的問題。而且，實現這一特性往往會使協議的一般安全性變得薄弱。我們證明：事實上，在針對數據庫協議做出的標准假設下無法實現恐怖主義欺詐抵抗。我們的結果在 DB 中證明了恐怖主義欺詐行為在可證明安全性方面的作用。
由於恐怖主義欺詐抵抗被視為無關緊要，並且為了解決應用就緒數據庫，我們提出了一種新的可證明安全模型來實現距離限制。它將細粒度的白盒和黑盒破壞證明的腐敗模式形式化，並允許腐敗模式中由於分離而驅動的准確的安全定義。此外，我們的模型明確包含一個安全屬性概括性密鑰洩漏，在此之前它僅被隱式研究或作為其他 DB 安全屬性的副產品進行研究。
總而言之，我們的形式主義只需要三種明確的安全定義，可以根據應用程序驅動的證明者腐敗模式「挑選並選擇」這些定義。