chiark / gitweb /
~ian / secnet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a8cbefc) | patch
site: key update soundness argument: deal with concurrency
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 31 Oct 2019 00:33:44 +0000 (00:33 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Feb 2020 21:56:51 +0000 (21:56 +0000)
commitcfd876633beac76cfa90daf19339750cc8f44fc5
treea1c4bd846c3ba5b77ac4053c545d9058316a193etree | snapshot
parenta8cbefc5f93521d25bb0ba36fe14d96889ed0007commit | diff
site: key update soundness argument: deal with concurrency

This completes this argument.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
site.c diff | blob | history
Ian's personal secnet repo on chiark, for work-in-progress stuff etc.