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