From e883a0593667b94cabdbb12773f5c52b46c3aeba Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 2 Sep 2008 19:02:55 -0400 Subject: checking a keyserver should warn at level INFO, since it is a potential information leak. --- debian/changelog | 4 ++++ src/common | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 92c56ea..efb4a9c 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,12 @@ monkeysphere (0.12-1) UNRELEASED; urgency=low + [ Jameson Graef Rollins ] * Improved output handling. New LOG_LEVEL variable. + + [ Daniel Kahn Gillmor ] * debian/control: switched Homepage: and Vcs-Git: to canonicalized upstream hostnames. + * updated documentation for new release. -- Daniel Kahn Gillmor Tue, 02 Sep 2008 18:54:29 -0400 diff --git a/src/common b/src/common index c70ba64..7768335 100644 --- a/src/common +++ b/src/common @@ -413,7 +413,7 @@ gpg_fetch_userid() { userID="$1" - log verbose " checking keyserver $KEYSERVER... " + log info " checking keyserver $KEYSERVER... " echo 1,2,3,4,5 | \ gpg --quiet --batch --with-colons \ --command-fd 0 --keyserver "$KEYSERVER" \ -- cgit v1.2.3 From 330858652a77a354ba8c3420f8c40bdb6818b295 Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 2 Sep 2008 19:17:41 -0400 Subject: trying to change the way docs are handled. --- debian/monkeysphere.docs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/monkeysphere.docs b/debian/monkeysphere.docs index 595e6c8..7aa920a 100644 --- a/debian/monkeysphere.docs +++ b/debian/monkeysphere.docs @@ -1,3 +1,3 @@ -doc/README -doc/README.admin +website/getting-started-user.mdwn README +website/getting-started-admin.mdwn README.admin doc/MonkeySpec -- cgit v1.2.3 From c6d49deb59c0d73a7fb459250aea974b0b01836f Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 2 Sep 2008 19:24:38 -0400 Subject: shipping getting-started docs directly; nevermind about calling them README. --- debian/monkeysphere.docs | 4 ++-- doc/README | 1 - doc/README.admin | 1 - 3 files changed, 2 insertions(+), 4 deletions(-) delete mode 120000 doc/README delete mode 120000 doc/README.admin diff --git a/debian/monkeysphere.docs b/debian/monkeysphere.docs index 7aa920a..b677881 100644 --- a/debian/monkeysphere.docs +++ b/debian/monkeysphere.docs @@ -1,3 +1,3 @@ -website/getting-started-user.mdwn README -website/getting-started-admin.mdwn README.admin +website/getting-started-user.mdwn +website/getting-started-admin.mdwn doc/MonkeySpec diff --git a/doc/README b/doc/README deleted file mode 120000 index f6ea1dd..0000000 --- a/doc/README +++ /dev/null @@ -1 +0,0 @@ -../website/getting-started-user.mdwn \ No newline at end of file diff --git a/doc/README.admin b/doc/README.admin deleted file mode 120000 index dea47b6..0000000 --- a/doc/README.admin +++ /dev/null @@ -1 +0,0 @@ -../website/getting-started-admin.mdwn \ No newline at end of file -- cgit v1.2.3 From f7299a7f2111f1dfd2b1b277150a725d03ba4bcc Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 2 Sep 2008 19:28:25 -0400 Subject: shipping getting-started docs in the release tarball; nevermind about calling them README. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index aaf9d65..1e0b649 100644 --- a/Makefile +++ b/Makefile @@ -8,7 +8,7 @@ keytrans: release: clean rm -rf monkeysphere-$(MONKEYSPHERE_VERSION) mkdir -p monkeysphere-$(MONKEYSPHERE_VERSION)/doc - ln -s ../../doc/README ../../doc/README.admin ../../doc/TODO ../../doc/MonkeySpec monkeysphere-$(MONKEYSPHERE_VERSION)/doc + ln -s ../../website/getting-started-user.mdwn ../../website/getting-started-admin.mdwn ../../doc/TODO ../../doc/MonkeySpec monkeysphere-$(MONKEYSPHERE_VERSION)/doc ln -s ../COPYING ../etc ../Makefile ../man ../src monkeysphere-$(MONKEYSPHERE_VERSION) tar -ch monkeysphere-$(MONKEYSPHERE_VERSION) | gzip -n > monkeysphere_$(MONKEYSPHERE_VERSION).orig.tar.gz rm -rf monkeysphere-$(MONKEYSPHERE_VERSION) -- cgit v1.2.3 From 4dfcb19ae2fed99d83e3e96a1a0aeafb7d06da61 Mon Sep 17 00:00:00 2001 From: Daniel Kahn Gillmor Date: Tue, 2 Sep 2008 19:36:18 -0400 Subject: stripped down, cleaned up MonkeySpec. --- doc/MonkeySpec | 154 ++++++++++++++------------------------------------------- 1 file changed, 37 insertions(+), 117 deletions(-) diff --git a/doc/MonkeySpec b/doc/MonkeySpec index 54aaa72..66f44b0 100644 --- a/doc/MonkeySpec +++ b/doc/MonkeySpec @@ -1,59 +1,23 @@ THE MONKEYSPHERE ================ -AGENDA -====== -[x] clowning -[ ] work -[x] jrollins will talk and gesture - in progress - -MONKEYNAMES -=========== - -rhesus, marmoset, howler, langur, tamarin, barbary - -COMPONENTS -========== - -(names in "" are code names until we think of better ones.) - -common components ------------------ -* "rhesus": update known_hosts/authorized_keys files: - - be responsible for removing keys from the file as key revocation - happens - - be responsible for updating a key in the file where there is a key - replacement - - must result in a file that is parsable by the existing ssh client - without errors - - manual management must be allowed without stomping on it - - provide a simple, intelligible, clear policy for key acceptance - -* "langur": policy-editor for viewing/editing policies - -* gpg2ssh: utility to convert gpg keys to ssh - known_hosts/authorized_keys lines - -* ssh2gpg: create openpgp keypair from ssh keypair +Monkeysphere is authentication layer that allows the sysadmin to +perform authorization on OpenPGP user identities instead of on keys. +It also allows end users to authenticate/identify the ssh server they +are connecting to by checking the sysadmin's certification. -server-side components ----------------------- -* "howler": server gpg maintainer - - generate gpg keys for the server - - publish server gpg keys - - give owner trust to keys for user authentication +* GENERAL GOAL - use openpgp web-of-trust to authenticate ppl for SSH +* SPECIFIC GOAL - allow openssh to tie into pgp web-of-trust without + modifying the openpgp spec, gpg or openssh +* DESIGN GOALS - authentication, use the existing generic OpenSSH + client, the admin can make it default, although end-user should be + decide to use monkeysphere or not +* DESIGN GOAL - use of monkeysphere should not radically change + connecting-to-server experience -* "tamarin": concept - how to trigger or schedule rhesus at admin defined - points (e.g. via cron or during ssh connections). +Host identity piece of monkeysphere could be used without buying into +the user authentication component. -client-side components ----------------------- -* "marmoset": concept - how to trigger rhesus during attempt to initiate - connection to server - - runs on connection to a certain host - - triggers update to known_hosts file then makes connection - - proxy-command | pre-hook script | wrapper script - - (ssh_config "LocalCommand" is only run *after* connection) USE CASE ======== @@ -69,93 +33,49 @@ their personal gpg keys to the web of trust, and being good friends, have both signed each other's keys and marked each others keys with "full" ownertrust. -When Alice set up mangabey initially, she used howler to publish a gpg -key for the machine with the special userid of -"ssh://mangabey.example.org". She also signed mangabey's gpg key and -published this certification to commonly-used keyservers. Alice also -configured mangabey to treat her own key with full ownertrust (could -this be done as part of the howler invocation?) +When Alice set up mangabey initially, she published an OpenPGP key for +the machine with the special userid of "ssh://mangabey.example.org". +She also signed mangabey's OpenPGP key and published this +certification to commonly-used keyservers. Alice also configured +mangabey to treat her own key with full ownertrust, so that it knows +how to identify connecting users. Now, Alice creates a user account "bob" on mangabey, and puts Bob's userid ("Bob ") in the authorized_user_ids file for -user bob on mangabey. tamarin triggers on mangabey either by a -cronjob or an inotify hook, and invokes rhesus for the "bob" account. -rhesus automatically takes each userid in bob's authorized_user_ids -file, and looks on a keyserver to find all public keys associated with -that user ID, with the goal of populating the authorized_keys file for -bob@mangabey. +user bob on mangabey. The monkeysphere automatically (via cron or +inotify hook) takes each userid in bob's authorized_user_ids file, and +looks on a keyserver to find all public keys associated with that user +ID, with the goal of populating the authorized_keys file for +bob@mangabey. In particular: for each key found, the server evaluates the calculated validity of the specified user ID based on the ownertrust rules it has configured ("trust alice's certifications fully", in this example). For each key for which the user ID in question is fully-valid, it extracts all DSA- or RSA-based primary or secondary keys marked with -usage flags for encrypted communications and authentication, and -converts these gpg public keys into ssh public keys. Finally, rhesus -inserts these calculated public keys into the authorized_keys file for -bob. +the authentication usage flag, and converts these OpenPGP public keys +into ssh public keys. These keys are automatically placed into the +authorized_keys file for bob. Bob now attempts to connect, by firing up a terminal and invoking: "ssh bob@mangabey.example.org". Bob's monkeysphere-enabled ssh client notices that mangabey.example.org isn't already available in bob's -known_hosts file, and triggers rhesus (on Bob's computer) to fetch the -key for mangabey, with the goal of populating Bob's local known_hosts +known_hosts file, and fetches the host key for mangabey from the +public keyservers, with the goal of populating Bob's local known_hosts file. -In particular: rhesus queries its configured keyservers to find all -public keys with User ID ssh://mangabey.example.org. For each public -key found, rhesus checks the relevant User ID's validity, converts any -"encrypted comms, authentication" gpg public keys into ssh public keys -if the User ID validity is acceptable, and finally insert those keys -into Bob's known_hosts file. +In particular: the monkeysphere queries its configured keyservers to +find all public keys with User ID ssh://mangabey.example.org. For +each public key found, it checks the relevant User ID's validity, +converts any authentication-capable OpenPGP public keys into ssh +public keys if the User ID validity is acceptable, and finally insert +those keys into Bob's known_hosts file. On Bob's side, since mangabey's key had "full" validity (it was signed -by Alice whom he fully trusts), Bob's ssh client deems mangabey +by Alice, whom he fully trusts), Bob's ssh client deems mangabey "known" and no further host key checking is required. On mangabey's side, since Bob's key has "full" validity (it had been signed by Alice, mangabey's trusted administrator), Bob is authenticated and therefore authorized to log into his account. -NOTES -===== - -* Daniel and Elliot lie. -* We will use a distributed VCS, each developer will create their own - git repository and publish it publicly for others to pull from, mail - out -* public project page doesn't perhaps make sense yet -* approximate goal - using the web of trust to authenticate ppl for - SSH -* outline of various components of monkeysphere -* M: what does it mean to be in the monkeysphere? not necessarily a - great coder. -* J: interested in seeing project happen, not in actually doing it. - anybody can contribute as much as they want. -* J: if we put the structure in place to work on monkeysphere then we - don't have to do anything -* D: we are not creating -* understand gpg's keyring better, understanding tools better, - building scripts -* Some debian packages allow automated configuration of config files. - -* GENERAL GOAL - use openpgp web-of-trust to authenticate ppl for SSH -* SPECIFIC GOAL - allow openssh to tie into pgp web-of-trust without - modifying either openpgp and openssh -* DESIGN GOALS - authentication, use the existing generic OpenSSH - client, the admin can make it default, although end-user should be - decide to use monkeysphere or not -* DESIGN GOAL - use of monkeysphere should not radically change - connecting-to-server experience -* GOAL - pick a monkey-related name for each component - -Host identity piece of monkeysphere could be used without buying into -the authorization component. - -Monkeysphere is authentication layer that allows the sysadmin to -perform authorization on user identities instead of on keys, it -additionally allows the sysadmin also to authenticate the server to -the end-user. - -see doc/git-init for more detail on how to pull from the distributed -repositories. -- cgit v1.2.3