-
1
-
-
0027667638
-
A Calculus for Access Control in Distributed Systems
-
September
-
M. Abadi, M. Burrows, B. Lampson, and G. D. Plotkin, A Calculus for Access Control in Distributed Systems, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 4, September 1993, pp. 706-734
-
(1993)
ACM Transactions on Programming Languages and Systems
, vol.15
, Issue.4
, pp. 706-734
-
-
Abadi, M.1
Burrows, M.2
Lampson, B.3
Plotkin, G.D.4
-
3
-
-
0018543455
-
Review and Revocation of Access Privileges Distributed Through Capabilities
-
November
-
V. D. Gligor, Review and Revocation of Access Privileges Distributed Through Capabilities, IEEE Transactions on Software Engineering, Vol. 5, No. 6, November 1979, pp. 575-586.
-
(1979)
IEEE Transactions on Software Engineering
, vol.5
, Issue.6
, pp. 575-586
-
-
Gligor, V.D.1
-
5
-
-
0031682433
-
On the Formal Definition of Separationof-Duty Policies and their Composition
-
Oakland, California, May
-
V. D. Gligor, S. I. Gavrila, and D. Ferraiolo, On the Formal Definition of Separationof-Duty Policies and their Composition, Proceedings of the 1998 IEEE Symposium on Security and Privacy, Oakland, California, May 1998.
-
(1998)
Proceedings of the 1998 IEEE Symposium on Security and Privacy
-
-
Gligor, V.D.1
Gavrila, S.I.2
Ferraiolo, D.3
-
8
-
-
0026684778
-
Authentication in distributed systems: Theory and Practice
-
November
-
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
-
9
-
-
0004179384
-
-
Technical Memo MIT/LCS/TM-542b, Massachusetts Institute of Technology, Laboratory for Computer Science, Mar
-
S. Micali. Efficient Certificate Revocation. Technical Memo MIT/LCS/TM-542b, Massachusetts Institute of Technology, Laboratory for Computer Science, Mar. 1996.
-
(1996)
Efficient Certificate Revocation
-
-
Micali, S.1
-
10
-
-
84949952819
-
X.509 Internet Public Key Infrastructure: Online Certificate Status Protocol-OCSP (draft-ietf-pkix-ocsp-03.Txt). PKIX Working Group
-
March
-
M. Myers, R. Ankney, A. Malpani, S. Galperin, C. Adams. X.509 Internet Public Key Infrastructure: Online Certificate Status Protocol-OCSP (draft-ietf-pkix-ocsp-03.txt). PKIX Working Group. Internet Draft. March 1998.
-
(1998)
Internet Draft
-
-
Myers, M.1
Ankney, R.2
Malpani, A.3
Galperin, S.4
Adams, C.5
-
12
-
-
0029711077
-
An Authentication Logic Supporting Synchronization, Revocation, and Recency
-
New Delhi, India, March
-
S. Stubblebine and R. Wright. An Authentication Logic Supporting Synchronization, Revocation, and Recency, Third ACM Conference on Computer and Communications Security, New Delhi, India, March, 1996, pp. 95-105.
-
(1996)
Third ACM Conference on Computer and Communications Security
, pp. 95-105
-
-
Stubblebine, S.1
Wright, R.2
|