자료유형 | 학위논문 |
---|---|
서명/저자사항 | Secure Messaging: From Systems to Theory. |
개인저자 | Jaeger, Joseph. |
단체저자명 | University of California, San Diego. Computer Science and Engineering. |
발행사항 | [S.l.]: University of California, San Diego., 2019. |
발행사항 | Ann Arbor: ProQuest Dissertations & Theses, 2019. |
형태사항 | 255 p. |
기본자료 저록 | Dissertations Abstracts International 81-04B. Dissertation Abstract International |
ISBN | 9781088321621 |
학위논문주기 | Thesis (Ph.D.)--University of California, San Diego, 2019. |
일반주기 |
Source: Dissertations Abstracts International, Volume: 81-04, Section: B.
Advisor: Bellare, Mihir. |
이용제한사항 | This item must not be sold to any third party vendors. |
요약 | The standard view of cryptography is that secure systems should be built by implementing known primitives whose theoretical security guarantees are well understood. In this work we take the opposite approach, taking inspiration from existing systems and providing the theoretical basis with which to understand their security goals. Our particular inspirations are modern secure messaging apps (e.g. Signal, WhatsApp) which have deployed new techniques with the goal of maintaining some security against attackers which sometimes gain temporary access to honest users' devices.We propose that these security goals should be studied in a modular manner where distinct cryptographic components are studied in isolation. Towards this we separately provide formal models for understanding the initial exchange of cryptographic secrets and their later use for the exchange of messages in this setting. We provide provable secure constructions of these separate components (often achieving better security than what is currently deployed by messaging apps) and a composition result which generically proves security when these isolated components are used together. |
일반주제명 | Computer science. |
언어 | 영어 |
바로가기 | ![]() |