A formal analysis of the signal messaging protocol

Signal is a new security protocol that provides end-to-end encryption for instant messaging. It has recently been adopted by WhatsApp, Facebook Messenger and Google Allo among many others; the first two of these have at least 1 billion active users. Signal includes several uncommon security propert...

সম্পূর্ণ বিবরণ

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক: Cohn-Gordon, K, Cremers, C, Dowling, B, Garratt, L, Stebila, D
বিন্যাস: Conference item
প্রকাশিত: IEEE 2017