4 ;;Quote: secure communication and authentication in Taos with certificates, credentials, shared keys, and public keys

4 ;;Quote: A says S means that principal A supports the statement S; A speaks for B (A=>B) means that if A makes a statement, so does B

5 ;;Quote: only a channel can directly make a statement, C says S; e.g., K says S if K signs a certificate containing S

5 ;;Quote: 'A as R' means that A is a principal in role R with reduced rights; A=>(A as R)

5 ;;Quote: B|A means B quoting A, i.e., (B says A) says S

5 ;;Quote: 'B for A' means B acts for A; this includes B|A (B quoting A)

9 ;;Quote: A channel is secure if every message comes from the same process

9 ;;Quote: inexpensive, authenticated channels by multiplexing a secure channel from a process; GetPrin returns the principal that the subchannel speaks for

16 ;;Quote: need to cache authentication credentials; they are large enough to affect communications performance

17 ;;Quote: a credential is evidence that one principal Q speaks for another principal P; M implies Q=>P

23 ;;Quote: a certification library maps from names to public keys, keys to principals, group members to group names, and image digests to role names