Results 1 -
2 of
2
Authentication in distributed systems: Theory and practice
- ACM Transactions on Computer Systems
, 1992
"... ..."
Authentication in the Taos Operating System
- ACM Transactions on Computer Systems
, 1994
"... this paper we do not describe any formal notations or rules for propositional connectives. Instead, we use English keywords, like "if" and "then", and informal reasoning. 4 \Delta E. Wobber et al. --- Conjunctions of principals. We write A B for the conjunction of A and B. If both A says S and B s ..."
Abstract
-
Cited by 161 (11 self)
- Add to MetaCart
this paper we do not describe any formal notations or rules for propositional connectives. Instead, we use English keywords, like "if" and "then", and informal reasoning. 4 \Delta E. Wobber et al. --- Conjunctions of principals. We write A B for the conjunction of A and B. If both A says S and B says S then (A B) says S as well. --- Principals quoting principals. We write B j A for B quoting A. If B says A says
