[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Delegate
At 01:03 PM 12/17/96 -0800, Kent Crispin wrote:
>That's really different from what I thought. Maybe I'm getting my
>terms messed up, but I wouldn't think the verifier would pay any
>attention at all to this flag, unless the verifier itself were in a
>position to create a new cert, and that was the operation in question.
I think you may have gotten terms mixed up along the way.
An SPKI cert body is a 5-tuple <I,S,D,A,V> and the verifier will concatenate
two 5-tuples <I1,S2,D1,A1,V1>+<I2,S2,D2,A2,V2> to <I1,S2,D2,A,V> only if
D1 > D2 (assuming integers) -- or only if D1=TRUE (assuming booleans) --
(and if A and V are non-empty).
A = intersection(A1,A2)
V = intersection(V1,V2)
- Carl
+------------------------------------------------------------------+
|Carl M. Ellison cme@cybercash.com http://www.clark.net/pub/cme |
|CyberCash, Inc. http://www.cybercash.com/ |
|207 Grindall Street PGP 2.6.2: 61E2DE7FCB9D7984E9C8048BA63221A2 |
|Baltimore MD 21230-4103 T:(410) 727-4288 F:(410)727-4293 |
+------------------------------------------------------------------+