-
1
-
-
85029468784
-
-
67, Oct
-
M. Abadi, M. Burrows, C. Kaufman, and B. Lampson Authentication and Delegation with Smart-Cards DEC Systems Research Center, Report No.67, Oct 1990.
-
(1990)
Authentication and Delegation with Smart-Cards DEC Systems Research Center
-
-
Abadi, M.1
Burrows, M.2
Kaufman, C.3
Lampson, B.4
-
5
-
-
0025386404
-
A Logic for Authentication ACM Trans
-
Feb
-
M. Burrows, M. Abadi, R.M. Needham A Logic for Authentication ACM Trans. On Computer Systems, Vol.8, No.1, Feb 1990, pp.18-36.
-
(1990)
On Computer Systems
, vol.8
, Issue.1
, pp. 18-36
-
-
Burrows, M.1
Abadi, M.2
Needham, R.M.3
-
6
-
-
85029539117
-
ECMA Security in Open Systems: A Security Framework
-
Jul
-
ECMA Security in Open Systems: A Security Framework. ECMA TR 46, Jul 1988.
-
(1988)
ECMA TR
, pp. 46
-
-
-
8
-
-
0003339136
-
-
M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson The Digital Distributed System Security Architecture Proc. of the 12th National Computer Security Conference NIST/NCSC, Oct 1989, pages 305-319.
-
(1989)
The Digital Distributed System Security Architecture Proc. Of the 12Th National Computer Security Conference NIST/NCSC
, pp. 305-319
-
-
Gasser, M.1
Goldstein, A.2
Kaufman, C.3
Lampson, B.4
-
11
-
-
0025023289
-
-
California, May
-
L. Gong, R. Needham, and R. Yahalom Reasoning about Belief in Cryptographic Protocols Proc. of the IEEE 1990 Symp. on Security and Privacy Oakland, California, May 1990, pp.234-248.
-
(1990)
Reasoning about Belief in Cryptographic Protocols Proc. of the IEEE 1990 Symp. On Security and Privacy Oakland
, pp. 234-248
-
-
Gong, L.1
Needham, R.2
Yahalom, R.3
-
13
-
-
85029507027
-
-
ISO ODP Basic Reference Model of Open Distributed Processing Part 2: Descriptive Model ISO/TEC JTC1/SC21/WG7 N315Mar, and later revisionsand ISO/EEC JTC1/SC21 N6079 (draft), May 1991 (and later revisions) Part 3: Prescriptive Model ISO/TEC JTC1/SC21 N6080 (draft). May 1991 (and later revisions)
-
ISO ODP Basic Reference Model of Open Distributed Processing Part 2: Descriptive Model ISO/TEC JTC1/SC21/WG7 N315, Mar 1991 (and later revisions) and ISO/EEC JTC1/SC21 N6079 (draft), May 1991 (and later revisions) Part 3: Prescriptive Model ISO/TEC JTC1/SC21 N6080 (draft). May 1991 (and later revisions).
-
(1991)
-
-
-
14
-
-
85029472476
-
-
Working draft Security Frameworks Overview ISO/IEC JTC1/SC21N6166 and N6080, Jul
-
Working draft Security Frameworks Overview ISO/IEC JTC1/SC21N6166 and N6080, Jul 1991.
-
(1991)
-
-
-
16
-
-
85029508088
-
-
March, Reprinted in ACM Operating. Systems Review, Vol.8, No.1, Jan 1974
-
B.W. Lampson Protection Proc. of the 5th Princeton Symp. on Info. Sciences and Systems, March, 1971. Reprinted in ACM Operating. Systems Review, Vol.8, No.1, Jan 1974, pp.18-24.
-
(1971)
Protection Proc. Of the 5Th Princeton Symp. on Info. Sciences and Systems
, pp. 18-24
-
-
Lampson, B.W.1
-
17
-
-
0039015629
-
-
Oct 1991 Publ. as ACM Op. Systems Review, Also as, DEC Systems Research Center, 83, Feb 1992
-
B. Lampson, M. Abadi, M. Burrows, and E. Wobber Authentication in Distributed Systems: Theory and Practice Proc. of the 13th ACM Symp. on Operating Systems Principles, Oct 1991 Publ. as ACM Op. Systems Review, Vol 25, No.5, pp.165-182. Also as, DEC Systems Research Center, Report No.83, Feb 1992.
-
Authentication in Distributed Systems: Theory and Practice Proc. Of the 13Th ACM Symp. On Operating Systems Principles
, vol.25
, Issue.5
, pp. 165-182
-
-
Lampson, B.1
Abadi, M.2
Burrows, M.3
Wobber, E.4
-
23
-
-
0012397471
-
-
Cryptography In J. van Leeuwen, editor, Elsevier Science Publishers B. V
-
R.L. Rivest Cryptography In J. van Leeuwen, editor: Handbook of Theoretical Computer Science Volume A, Algorithms and Complexity, chapter 13, pages 717-755. Elsevier Science Publishers B. V., 1990.
-
(1990)
Handbook of Theoretical Computer Science Volume A, Algorithms and Complexity
, vol.13
, pp. 717-755
-
-
Rivest, R.L.1
-
25
-
-
85029469960
-
-
In B. Shriver and P. Wegner ed.: Research Directions in Object-Oriented Programming MIT Press
-
A. Snyder Inheritance and the Development of Encapsulated Software Components In B. Shriver and P. Wegner ed.: Research Directions in Object-Oriented Programming MIT Press, 1987,pp.165-188.
-
(1987)
Inheritance and the Development of Encapsulated Software Components
, pp. 165-188
-
-
Snyder, A.1
|