@inproceedings{1fdc1d1a10704eb19dced89028b5302c,
title = "A Complete Characterization of Secure Human-Server Communication",
abstract = "Establishing a secure communication channel between two parties is a nontrivial problem, especially when one or both are humans. Unlike computers, humans cannot perform strong cryptographic operations without supporting technology, yet this technology may itself be compromised. We introduce a general communication topology model to facilitate the analysis of security protocols in this setting. We use it to completely characterize all topologies that allow secure communication between a human and a remote server via a compromised computer. These topologies are relevant for a variety of applications, including online banking and Internet voting. Our characterization can serve to guide the design of novel solutions for applications and to quickly exclude proposals that cannot possibly offer secure communication.",
keywords = "Formal Modeling, Security Ceremonies, Security Protocols",
author = "David Basin and Sa{\v s}a Radomirovi{\'c} and Michael Schl{\"a}epfer",
year = "2015",
month = sep,
day = "7",
doi = "10.1109/CSF.2015.21",
language = "English",
series = "Computer Security Foundations Symposium",
publisher = "IEEE",
pages = "199--213",
booktitle = "2015 IEEE 28th Computer Security Foundations Symposium",
address = "United States",
note = "28th IEEE Computer Security Foundations Symposium 2015, CSF 2015 ; Conference date: 13-07-2015 Through 17-07-2015",
}