-
1
-
-
0003400251
-
Secure computer systems: Unified exposition and multics interpretation
-
The Mitre Corporation, Bedford MA, USA, March
-
D. E. Bell and L. J. LaPadula, "Secure Computer Systems: Unified Exposition and Multics Interpretation", Technical Report ESDTR-75-306, The Mitre Corporation, Bedford MA, USA, March 1976.
-
(1976)
Technical Report
, vol.ESDTR-75-306
-
-
Bell, D.E.1
LaPadula, L.J.2
-
2
-
-
0016949746
-
A lattice model of secure information flow
-
D. E. Denning, "A Lattice Model of Secure Information Flow", Communication of ACM, vol. 19, no. 5, pp. 236-243, 1976.
-
(1976)
Communication of ACM
, vol.19
, Issue.5
, pp. 236-243
-
-
Denning, D.E.1
-
3
-
-
0017517624
-
Certification of program for secure information flow
-
D. E Denning and P. J. Denning, "Certification of Program for Secure Information Flow," Communication of ACM, vol. 20, no. 7, pp. 504-513, 1977.
-
(1977)
Communication of ACM
, vol.20
, Issue.7
, pp. 504-513
-
-
Denning, D.E.1
Denning, P.J.2
-
4
-
-
0002262722
-
Role based access control: Features and motivation
-
annual computer security applications conference
-
D. Ferraiolo, J. Cugini, and D. R. Kuhn, "Role Based Access Control: Features and motivation." In annual computer security applications conference, IEEE Computer Society Press, 1995.
-
(1995)
IEEE Computer Society Press
-
-
Ferraiolo, D.1
Cugini, J.2
Kuhn, D.R.3
-
5
-
-
0030708182
-
Providing flexibility in information flow control for object-oriented systems
-
E. Ferrari and E. Bertino, "Providing Flexibility in Information Flow Control for Object-Oriented Systems," Proc. 13'th IEEE Symp. Security and Privacy, pp.130-140, 1997.
-
(1997)
Proc. 13'th IEEE Symp. Security and Privacy
, pp. 130-140
-
-
Ferrari, E.1
Bertino, E.2
-
7
-
-
0025065897
-
Integrating an object-oriented data model with multilevel security
-
Oakland, CA, May
-
S. Jajodia and B. Kogan "Integrating an object-oriented data model with multilevel security" Proc. IEEE Symp. on Sucurity and Privacy, Oakland, CA, pp. 76-85, May 1990.
-
(1990)
Proc. IEEE Symp. on Sucurity and Privacy
, pp. 76-85
-
-
Jajodia, S.1
Kogan, B.2
-
9
-
-
84870374862
-
Information flow in inference for free
-
F. Potter and S. Conchon, "Information flow in inference for free," ICFP00, ACM, pp 46-57, 2000.
-
(2000)
ICFP00, ACM
, pp. 46-57
-
-
Potter, F.1
Conchon, S.2
-
10
-
-
0031185890
-
Information flow control in object-oriented systems
-
P. Samarati and E. Bertino, "Information Flow Control in Object-Oriented Systems," IEEE Trans. Knowledge Data Eng., vol. 9, no. 4, pp.524-538, 1997.
-
(1997)
IEEE Trans. Knowledge Data Eng.
, vol.9
, Issue.4
, pp. 524-538
-
-
Samarati, P.1
Bertino, E.2
-
11
-
-
0030086382
-
Role based access control models
-
R. Sandhu, E. J. Coyne, H.L. Feinstein, and C.E. Youman "Role based Access Control Models". IEEE Computer, vol. 29, no. 2, pp38-47, 1996.
-
(1996)
IEEE Computer
, vol.29
, Issue.2
, pp. 38-47
-
-
Sandhu, R.1
Coyne, E.J.2
Feinstein, H.L.3
Youman, C.E.4
-
12
-
-
0031341651
-
The ARBAC97 model for role-based administration of roles: Preliminary description and outline
-
Fairfax, Virginia, USA
-
Ravi Sandhu and Venkata Bhamidipati, "The ARBAC97 Model for Role-Based Administration of Roles: Preliminary Description and outline", Second ACM workshop on Role-Based-Access-Control, Fairfax, Virginia, USA, pp 41-54, 1997.
-
(1997)
Second ACM Workshop on Role-based-access-control
, pp. 41-54
-
-
Sandhu, R.1
Bhamidipati, V.2
-
13
-
-
0034835461
-
A new type system for secure information flow
-
Cape Breton, Nova Scotia
-
G. Smith, "A new type system for secure information flow", In Proc. 14th IEEE Computer Security Foundations Workshop, Cape Breton, Nova Scotia, pp115-125, 2001.
-
(2001)
Proc. 14th IEEE Computer Security Foundations Workshop
, pp. 115-125
-
-
Smith, G.1
|