chiark / gitweb /
site: key update soundness argument: deal with concurrency