aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/doc.RPKI.CA.UI.GUI7
-rw-r--r--doc/manual.pdfbin490486 -> 491617 bytes
2 files changed, 7 insertions, 0 deletions
diff --git a/doc/doc.RPKI.CA.UI.GUI b/doc/doc.RPKI.CA.UI.GUI
index c015302e..116bd0b4 100644
--- a/doc/doc.RPKI.CA.UI.GUI
+++ b/doc/doc.RPKI.CA.UI.GUI
@@ -193,3 +193,10 @@ advance to check.
07-route view.jpg
***** Ghostbusters etc. are Similar *****
+
+****** User Management ******
+
+The web portal uses a model where users are distinct from resource holders. A
+user is authorized to log into the web portal, and may be granted permission to
+manage zero or more resource holders. The same name may be used as both a user
+and resource holder for simple cases where there is a one-to-one mapping.
diff --git a/doc/manual.pdf b/doc/manual.pdf
index 1a7f1a8f..070e22c5 100644
--- a/doc/manual.pdf
+++ b/doc/manual.pdf
Binary files differ