-
1
-
-
0004006446
-
Legion: The next logical step toward a nationwide virtual computer
-
June 8
-
Andrew. S. Grimshaw, William A. Wulf, James C. French, Alfred C.Weaver and Paul F. Reynolds Jr. "Legion: The Next Logical Step Toward a Nationwide Virtual Computer", June 8, 1994. UVA CS Technical Report CS-94-21
-
(1994)
UVA CS Technical Report CS- 94-21
-
-
Grimshaw, A.S.1
Wulf, W.A.2
French, J.C.3
Weaver, A.C.4
Reynolds, P.F.5
-
2
-
-
84942210172
-
Easy to use object-oriented parallel programming with Mentat
-
May
-
Andrew. S. Grimshaw, "Easy to use object-oriented parallel programming with Mentat", IEEE computer, pp 39-51, May 1993
-
(1993)
IEEE Computer
, pp. 39-51
-
-
Grimshaw, A.S.1
-
4
-
-
0027610863
-
No pain and gain - Experiences with mentat on biological application
-
June
-
Andrew S. Grimshaw, E. A. West, and W. R. Pearson, "No Pain and Gain! - Experiences with Mentat on Biological Application, " Concurrency: Practice & Experience, pp. 309-328, vol. 5, issue 4, June 1993
-
(1993)
Concurrency: Practice & Experience
, vol.5
, Issue.4
, pp. 309-328
-
-
Grimshaw, A.S.1
West, E.A.2
Pearson, W.R.3
-
5
-
-
0027590042
-
Dynamic object-oriented parallel processing
-
May
-
Andrew S. Grimshaw, W. T. Strayer, and P. Narayan, "Dynamic OBject-Oriented Parallel Processing" IEEE Parallel & Distributed Technology: Systems & Applications, pp. 33-47, May, 1993
-
(1993)
IEEE Parallel & Distributed Technology: Systems & Applications
, pp. 33-47
-
-
Grimshaw, A.S.1
Strayer, W.T.2
Narayan, P.3
-
6
-
-
0004694565
-
-
McGraw-Hill, New York
-
William A. Wulf, Roy Levin, Samuel P. Harbison, "HYDRA/C.mmp: An Experimental Computer System", McGraw-Hill, New York, 1981
-
(1981)
HYDRA/C.mmp: An Experimental Computer System
-
-
Wulf, W.A.1
Levin, R.2
Harbison, S.P.3
-
9
-
-
0028514601
-
Kerberos: An authentication service for computer networks"
-
Sept
-
B. C. Neuman, T. Y. Tsio, "Kerberos: An Authentication Service for Computer Networks" IEEE Communications, Vol. 32, pp. 33-38, Sept. 1994
-
(1994)
IEEE Communications
, vol.32
, pp. 33-38
-
-
Neuman, B.C.1
Tsio, T.Y.2
-
12
-
-
0016949746
-
A lattice model of secure information flow
-
May
-
Dorothy R. Denning, "A Lattice Model of Secure Information Flow", Communications of the ACM, Vol 19, No 5, pp 236-242, May 1976
-
(1976)
Communications of the ACM
, vol.19
, Issue.5
, pp. 236-242
-
-
Dorothy, R.1
Denning2
-
13
-
-
0016081584
-
Protection and the control of information sharing in multics
-
July
-
J. H. Saltzer, "Protection and the Control of Information Sharing in Multics", Communications of the ACM, Vol 17, No 7, pp 388-402, July 1974
-
(1974)
Communications of the ACM
, vol.17
, Issue.7
, pp. 388-402
-
-
Saltzer, J.H.1
-
14
-
-
0019548112
-
Formal models of capability-based protection systems
-
March
-
L, Snyder, "Formal Models of Capability-based Protection Systems"IEEE Transactions on Computers, vC-30 n3, March 1981, pp 172-181
-
(1981)
IEEE Transactions on Computers, vC-30 n3
, pp. 172-181
-
-
Snyder, L.1
-
16
-
-
0019612720
-
Verifying security
-
Sept
-
C. Landwehr, "Verifying Security", Computing Surveys, Vol.13, No. 3, Sept. 1981
-
(1981)
Computing Surveys
, vol.13
, Issue.3
-
-
Landwehr, C.1
-
17
-
-
85031762089
-
-
IEEE, May
-
G. Benson, Appelbe, I. Akyildiz, "The Hierarchical Model of Distributed System Security", IEEE, May 1988, pp 122-128
-
(1988)
The Hierarchical Model of Distributed System Security
, pp. 122-128
-
-
Benson, G.1
Akyildiz, A.I.2
-
18
-
-
0023348314
-
The Development and Proof of a Formal Specification for a Multilevel Secure System
-
May
-
J. I. Glasgow, G. H. MacEwen, "The Development and Proof of a Formal Specification for a Multilevel Secure System, ACM Transactions on Computer Systems, Vol. 5, No 2, May 1987, pp 151-184
-
(1987)
ACM Transactions on Computer Systems
, vol.5
, Issue.2
, pp. 151-184
-
-
Glasgow, J.I.1
MacEwen, G.H.2
-
19
-
-
0017930809
-
A method for obtaining digital signatures and public-key cryptosystems
-
Feb
-
R. Rivest, A. Shamir, and L. Adleman, "A Method for Obtaining Digital Signatures and Public-key cryptosystems", Communications of ACM, vol. 21, no. 2 Feb. 1978, pp. 120-126
-
(1978)
Communications of ACM
, vol.21
, Issue.2
, pp. 120-126
-
-
Rivest, R.1
Shamir, A.2
Adleman, L.3
|