-
1
-
-
0027667638
-
A calculus for access control in distributed systems
-
M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programnnng Languages and Systems, 15(4):706-734, October 1993.
-
(1993)
ACM Transactions on Programnnng Languages and Systems
, vol.15
, Issue.4
, pp. 706-734
-
-
Abadi, M.1
Burrows, M.2
Lampson, B.3
Plotkin, G.4
-
3
-
-
0002863367
-
Valuation of trust in open networks
-
D. GoUman, editor
-
T. Beth, M. Borcherding, and B. Klein. Valuation of trust in open networks. In D. GoUman, editor. Proceedings of the European Symposium on Research in Computer Security (ESORICS), LNCS 875, pages 3-18. Springer Verlag, 1994.
-
(1994)
Proceedings of the European Symposium on Research in Computer Security (ESORICS)
, pp. 3-18
-
-
Beth, T.1
Borcherding, M.2
Klein, B.3
-
4
-
-
84920498757
-
A global authentication service without global trust
-
A. Birrell, B. Lampson, R. Needham, and M. Shroeder. A global authentication service without global trust. In Proceedings of the IEEE Symposium on Security and Privacy, pages 223-230, 1986.
-
(1986)
Proceedings of the IEEE Symposium on Security and Privacy
, pp. 223-230
-
-
Birrell, A.1
Lampson, B.2
Needham, R.3
Shroeder, M.4
-
7
-
-
0025386404
-
-
Series A, 426(1871):233-271, December 1989. Also appeared as SRC Research Report 39 and, in a shortened form, in ACM Transactions on Computer Systems
-
Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. Proceedings of the Royal Society, Series A, 426(1871):233-271, December 1989. Also appeared as SRC Research Report 39 and, in a shortened form, in ACM Transactions on Computer Systems 8, 1 (February 1990), 18-36.
-
(1990)
A Logic of Authentication. Proceedings of the Royal Society
, vol.8
, Issue.1
, pp. 18-36
-
-
Burrows, M.1
Abadi, M.2
Needham, R.3
-
9
-
-
0003546303
-
-
Internet Draft (Work in Progress
-
C. M. Ellison, B. Frantz, B. Lampson, R. R. ivest, B. M. Thomas, and T. Ylonen. Simple public key certificate. Internet Draft (Work in Progress), November 1998.
-
(1998)
Simple Public Key Certificate
-
-
Ellison, C.M.1
Frantz, B.2
Lampson, B.3
Ivest, R.R.4
Thomas, B.M.5
Ylonen, T.6
-
10
-
-
0003593599
-
-
C. M. Ellison, B. Frantz, B. Lampson, R. Rivest, B. M. Thomas, and T. Ylonen. SPKI certificate theory. Internet Draft (Work in Progress), November 1998.
-
(1998)
SPKI Certificate Theory. Internet Draft (Work in Progress)
-
-
Ellison, C.M.1
Frantz, B.2
Lampson, B.3
Rivest, R.4
Thomas, B.M.5
Ylonen, T.6
-
19
-
-
0026684778
-
Authentication in distributed systems: Theory and practice
-
B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
-
(1992)
ACM Transactions on Computer Systems
, vol.10
, Issue.4
, pp. 265-310
-
-
Lampson, B.1
Abadi, M.2
Burrows, M.3
Wobber, E.4
-
21
-
-
0003839495
-
-
PhD thesis, Department of Computer Science and Mathematics, University of Sterhng
-
S.P. Marsh. FormoMsing Trust as a Computational Concept. PhD thesis, Department of Computer Science and Mathematics, University of Sterhng, April 1994.
-
(1994)
Formomsing Trust as a Computational Concept
-
-
Marsh, S.P.1
-
27
-
-
53249136529
-
Trust in electronic markets: The convergence of cryptographers and economists
-
J.M. Reagle. Trust in electronic markets: The convergence of cryptographers and economists. First Monday, 1(2), August 1996. http://www.firstmonday.dk/ issues/issue2/markets/index.html.
-
(1996)
First Monday
, vol.1
, Issue.2
-
-
Reagle, J.M.1
-
34
-
-
0028675688
-
Trust-based navigation in distributed systems
-
R. Yahalom, B. Klein, and Th. Beth. Trust-based navigation in distributed systems. Computing Systems, 7(l):45-73, 1994.
-
(1994)
Computing Systems
, vol.7
, Issue.1
, pp. 45-73
-
-
Yahalom, R.1
Klein, B.2
Beth, T.3
|