Verifiable Privacy Protection for Vehicular Communication Systems

David Förster حفاظت از حریم خصوصی برای ارتباطات خودرویی را با فرض حمله‌ای که می‌تواند سیستم‌های back-end را به خطر بیندازد، بررسی می‌کند - به انگیزه تعداد زیادی از حوادث امنیتی اخیر و افشاگری‌ها در مورد نظارت جمعی. هدف نویسنده حفاظت از حریم خصوصی قابل تأیید است که از طریق ابزارهای رمزنگاری و فنی اعمال می شود، که از داده های کاربر محافظت می کند حتی اگر سیستم های پشتیبان کاملاً مورد اعتماد نباشند. فورستر مفاهیم رمزنگاری پیشرفته ای مانند اعتبارنامه های ناشناس را به کار می گیرد و یک الگوریتم به اشتراک گذاری راز غیرمتمرکز جدید را برای برآوردن الزامات پیچیده و به ظاهر متناقض در چندین سناریو برنامه کاربردی خودرو به x معرفی می کند. بسیاری از مفاهیم و نتایج را می توان در سایر سیستم های اینترنت اشیا نیز به کار برد.

David Förster examines privacy protection for vehicular communication under the assumption of an attacker that is able to compromise back-end systems – motivated by the large number of recent security incidents and revelations about mass surveillance. The author aims for verifiable privacy protection enforced through cryptographic and technical means, which safeguards user data even if back-end systems are not fully trusted. Förster applies advanced cryptographic concepts, such as anonymous credentials, and introduces a novel decentralized secret sharing algorithm to fulfill complex and seemingly contradicting requirements in several vehicle-to-x application scenarios. Many of the concepts and results can also be applied to other flavors of internet of things systems.