-
1
-
-
0034593275
-
Quality of security service
-
(Balley-cotten, Ireland), ACM Press, September
-
C. E. Irvine and T. E. Levin, "Quality of Security Service," in Proceedings of the New Security Paradigms Workshop, (Balley-cotten, Ireland), pp. 91-99, ACM Press, September 2000.
-
(2000)
Proceedings of the New Security Paradigms Workshop
, pp. 91-99
-
-
Irvine, C.E.1
Levin, T.E.2
-
2
-
-
0003400251
-
Secure computer system: Unified exposition and multics interpretation
-
MITRE Corp., Hanscom AFB, MA
-
D. E. Bell and L. LaPadula, "Secure Computer System: Unified Exposition and Multics Interpretation," Tech. Rep. ESD-TR-75-306, MITRE Corp., Hanscom AFB, MA, 1975.
-
(1975)
Tech. Rep.
, vol.ESD-TR-75-306
-
-
Bell, D.E.1
LaPadula, L.2
-
3
-
-
0003400255
-
Integrity considerations for secure computer systems
-
MITRE Corp.
-
K. J. Biba, "Integrity Considerations for Secure Computer Systems," Tech. Rep. ESD-TR-76-372, MITRE Corp., 1977.
-
(1977)
Tech. Rep.
, vol.ESD-TR-76-372
-
-
Biba, K.J.1
-
6
-
-
15944378656
-
-
CSC-EPL-92/003 C-Evaluation No. 21-92, 27 May
-
National Computer Security Center, Final Evaluation Report of HFSI XTS-200, CSC-EPL-92/003 C-Evaluation No. 21-92, 27 May 1992.
-
(1992)
Final Evaluation Report of HFSI XTS-200
-
-
-
7
-
-
15944399173
-
An editor for adpative XML-based policy management of IPsec
-
(Las Vegas, NV), IEEE Computer Society, December
-
R. Mohan, T. E. Levin, and C. E. Irvine, "An Editor for Adpative XML-Based Policy Management of IPsec," in Proceedings of the 19th Computer Security Applications Conference, (Las Vegas, NV), pp. 276-285, IEEE Computer Society, December 2003.
-
(2003)
Proceedings of the 19th Computer Security Applications Conference
, pp. 276-285
-
-
Mohan, R.1
Levin, T.E.2
Irvine, C.E.3
-
8
-
-
15944410400
-
Building trust into a multilevel file system
-
(Washington, DC), October
-
C. E. Irvine, T. Acheson, and M. F. Thompson, "Building Trust into a Multilevel File System," in Proceedings 13th National Computer Security Conference, (Washington, DC), pp. 450-459, October 1990.
-
(1990)
Proceedings 13th National Computer Security Conference
, pp. 450-459
-
-
Irvine, C.E.1
Acheson, T.2
Thompson, M.F.3
-
9
-
-
15944363194
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, March
-
B. Eads, "Developing a High Assurance Multilevel Mail Server," Master's thesis, Naval Postgraduate School, Monterey, CA, March 1999.
-
(1999)
Developing a High Assurance Multilevel Mail Server
-
-
Eads, B.1
-
10
-
-
15944405833
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, December
-
E. Bersack, "Implementation of a HTTP (Web) Server on a High Assurance Multilevel Secure Platform," Master's thesis, Naval Postgraduate School, Monterey, CA, December 2000.
-
(2000)
Implementation of a HTTP (Web) Server on a High Assurance Multilevel Secure Platform
-
-
Bersack, E.1
-
11
-
-
15944401480
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, September
-
T. Everette, "Enhancement of Internet Message Access Protocol for User-Friendly Multilevel Mail Management," Master's thesis, Naval Postgraduate School, Monterey, CA, September 2000.
-
(2000)
Enhancement of Internet Message Access Protocol for User-friendly Multilevel Mail Management
-
-
Everette, T.1
-
12
-
-
0000432429
-
The design and implementation of the sun network file system
-
Portland, OR
-
R. Sandberg, D. Goldberg, S. Kleiman, D. Walsh, and B. Lyon, "The Design and Implementation of the Sun Network File System," in Proceedings of the USENIX Conference, (Portland, OR), pp. 119-130, 1985.
-
(1985)
Proceedings of the USENIX Conference
, pp. 119-130
-
-
Sandberg, R.1
Goldberg, D.2
Kleiman, S.3
Walsh, D.4
Lyon, B.5
-
13
-
-
15944425707
-
The trusted computing exemplar project
-
(to appear), (West Point, NY), June
-
C. E. Irvine, T. E. Levin, T. D. Nguyen, and G. W. Dinolt, "The Trusted Computing Exemplar Project," in Proceedings of the Workshop on Information Assurance and Security (to appear), (West Point, NY), June 2004.
-
(2004)
Proceedings of the Workshop on Information Assurance and Security
-
-
Irvine, C.E.1
Levin, T.E.2
Nguyen, T.D.3
Dinolt, G.W.4
-
14
-
-
84957800809
-
KeyNote: Trust management for public-key infrastructures
-
(Cambridge, England), Springer LNCS vol. 1550, April
-
M. Blaze, J. Feigenbaum, and A. D. Keromytis, "KeyNote: Trust Management for Public-Key Infrastructures," in Proceedings of the 1998 Security Protocols International Workshop, (Cambridge, England), pp. 59-63, Springer LNCS vol. 1550, April 1998.
-
(1998)
Proceedings of the 1998 Security Protocols International Workshop
, pp. 59-63
-
-
Blaze, M.1
Feigenbaum, J.2
Keromytis, A.D.3
-
15
-
-
15944410399
-
An Approach to security requirements engineering for a high assurance system
-
C. E. Irvine, T. Levin, J. D. Wilson, D. Shifflett, and B. Pereira, "An Approach to Security Requirements Engineering for a High Assurance System," Requirements Engineering, vol. 7, no. 4, pp. 192-208, 2002.
-
(2002)
Requirements Engineering
, vol.7
, Issue.4
, pp. 192-208
-
-
Irvine, C.E.1
Levin, T.2
Wilson, J.D.3
Shifflett, D.4
Pereira, B.5
-
16
-
-
15944396210
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, September
-
S. Balmer, "Framework for a High-Assurance Security Extension to Commercial Network Clients," Master's thesis, Naval Postgraduate School, Monterey, CA, September 1999.
-
(1999)
Framework for a High-assurance Security Extension to Commercial Network Clients
-
-
Balmer, S.1
-
17
-
-
15944416515
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, June
-
S. Bartram, "Supporting a Trusted Path for the Linux Operating System," Master's thesis, Naval Postgraduate School, Monterey, CA, June 2000.
-
(2000)
Supporting a Trusted Path for the Linux Operating System
-
-
Bartram, S.1
-
18
-
-
15944410050
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, September
-
E. Brown, "SMTP on a High Assurance Multilevel Server," Master's thesis, Naval Postgraduate School, Monterey, CA, September 2000.
-
(2000)
SMTP on a High Assurance Multilevel Server
-
-
Brown, E.1
-
19
-
-
15944372370
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, March
-
S. Bryer-Joyner and S. Heller, "Secure Local Area Network Services for a High-Assurance Multilevel Network," Master's thesis, Naval Postgraduate School, Monterey, CA, March 1999.
-
(1999)
Secure Local Area Network Services for a High-assurance Multilevel Network
-
-
Bryer-Joyner, S.1
Heller, S.2
-
20
-
-
15944412622
-
Supporting mandatory access control in an educational environment
-
(Arlington, VA), October
-
P. C. Clark, "Supporting Mandatory Access Control in an Educational Environment," in Proceeding of the 23rd National Information Systems Security Conference, (Arlington, VA), pp. 418-429, October 2000.
-
(2000)
Proceeding of the 23rd National Information Systems Security Conference
, pp. 418-429
-
-
Clark, P.C.1
-
21
-
-
15944420984
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, September
-
J. Hackerson, "Design of a Trusted Computing Base Extension for Commercial Off-The-Shelf Workstations (TCBE)," Master's thesis, Naval Postgraduate School, Monterey, CA, September 1997.
-
(1997)
Design of a Trusted Computing Base Extension for Commercial Off-The-Shelf Workstations (TCBE)
-
-
Hackerson, J.1
-
22
-
-
15944386099
-
High Assurance Multilevel Services for off-the-shelf workstation applications
-
(Crystal City, VA), October
-
C. E. Irvine, J. P. Anderson, D. Robb, and J. Hackerson, "High Assurance Multilevel Services for Off-The-Shelf Workstation Applications," in Proceedings of the 20th National Information Systems Security Conference, (Crystal City, VA), pp. 421-431, October 1998.
-
(1998)
Proceedings of the 20th National Information Systems Security Conference
, pp. 421-431
-
-
Irvine, C.E.1
Anderson, J.P.2
Robb, D.3
Hackerson, J.4
-
23
-
-
15944389088
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, September
-
R. K. Rossetti, "A Mail File Administration Tool for a Multilevel High Assurance LAN," Master's thesis, Naval Postgraduate School, Monterey, CA, September 2000.
-
(2000)
A Mail File Administration Tool for a Multilevel High Assurance LAN
-
-
Rossetti, R.K.1
-
24
-
-
15944388701
-
-
Master's thesis, Naval Postgraduate School, Monterey, CA, June
-
J. Wilson, "Trusted Networking in a Multilevel Secure Environment," Master's thesis, Naval Postgraduate School, Monterey, CA, June 2000.
-
(2000)
Trusted Networking in a Multilevel Secure Environment
-
-
Wilson, J.1
-
26
-
-
0020779556
-
A distributed secure system
-
May
-
J. Rushby and B. Randell, "A Distributed Secure System," in Computer, pp. 55-67, May 1983.
-
(1983)
Computer
, pp. 55-67
-
-
Rushby, J.1
Randell, B.2
-
27
-
-
0024874249
-
Multiple operating systems on one processor complex
-
T. Borden, J. Hennessy, and J. Rymarczyk, "Multiple Operating Systems On One Processor Complex," IBM Systems Journal, vol. 28, no. 1, pp. 104-123, 1989.
-
(1989)
IBM Systems Journal
, vol.28
, Issue.1
, pp. 104-123
-
-
Borden, T.1
Hennessy, J.2
Rymarczyk, J.3
-
28
-
-
0025137215
-
A VMM security kernel for the VAX architecture
-
IEEE Computer Society Press
-
P. A. Karger, M. E. Zurko, D. W. Bonin, A. H. Mason, and C. E. Kahn, "A VMM Security Kernel for the VAX Architecture," in Proceedings of the IEEE Symposium on Research on Security and Privacy, pp. 2-19, IEEE Computer Society Press.
-
Proceedings of the IEEE Symposium on Research on Security and Privacy
, pp. 2-19
-
-
Karger, P.A.1
Zurko, M.E.2
Bonin, D.W.3
Mason, A.H.4
Kahn, C.E.5
-
29
-
-
15944406548
-
Analysis of terminal server architectures for thin clients in a high assurance network
-
(Baltimore, MD), October
-
S. R. Balmer and C. E. Irvine, "Analysis of Terminal Server Architectures for Thin Clients in a High Assurance Network," in Proceedings of the National Information Systems Security Conference, (Baltimore, MD), pp. 192-202, October 2000.
-
(2000)
Proceedings of the National Information Systems Security Conference
, pp. 192-202
-
-
Balmer, S.R.1
Irvine, C.E.2
-
31
-
-
85084161596
-
Analyzing the intel pentium's capability to support a secure virtual machine monitor
-
(Denver, CO), August
-
J. S. Robin and C. E. Irvine, "Analyzing the Intel Pentium's Capability to Support a Secure Virtual Machine Monitor," in Proceedings of the 9th USENIX Security Symposium, (Denver, CO), August 2000.
-
(2000)
Proceedings of the 9th USENIX Security Symposium
-
-
Robin, J.S.1
Irvine, C.E.2
-
32
-
-
15944398077
-
Security policy and interpretation for a class Al multilevel secure relational database system
-
(Oakland, CA), IEEE Computer Society Press, April
-
D. E. Denning, T. F. Lunt, R. R. Schell, W. Shockley, and M. Heckman, "Security Policy and Interpretation for a Class Al Multilevel Secure Relational Database System," in Proceedings 1988 IEEE Symposium on Security and Privacy, (Oakland, CA), IEEE Computer Society Press, April 1988.
-
(1988)
Proceedings 1988 IEEE Symposium on Security and Privacy
-
-
Denning, D.E.1
Lunt, T.F.2
Schell, R.R.3
Shockley, W.4
Heckman, M.5
-
33
-
-
0023863694
-
A near-term design for the seaView multilevel database system
-
(Oakland), IEEE Computer Society Press
-
T. F. Lunt, R. R. Schell, W. Shockley, M. Heckman, and D. Warren, "A Near-Term Design for the SeaView Multilevel Database System," in Proceedings 1988 IEEE Symposium on Security and Privacy, (Oakland), pp. 234-244, IEEE Computer Society Press, 1988.
-
(1988)
Proceedings 1988 IEEE Symposium on Security and Privacy
, pp. 234-244
-
-
Lunt, T.F.1
Schell, R.R.2
Shockley, W.3
Heckman, M.4
Warren, D.5
-
34
-
-
15944418695
-
Private desktops and shared store
-
(Phoenix, AZ), IEEE Computer Society, December
-
B. Pomeroy and S. Weisman, "Private Desktops and Shared Store," in Proceedings of the 14th Computer Security Applications Conference, (Phoenix, AZ), pp. 190-200, IEEE Computer Society, December 1998.
-
(1998)
Proceedings of the 14th Computer Security Applications Conference
, pp. 190-200
-
-
Pomeroy, B.1
Weisman, S.2
-
35
-
-
0028711787
-
A practical approach to high assurance multilevel secure computing service
-
(Orlando, FL), December
-
J. Froscher, M. Kang, J. Mcdermott, O. Costich, and C. E. Landwehr, "A Practical Approach to High Assurance Multilevel Secure Computing Service," in Proceedings 10th Computer Security Applications Conference, (Orlando, FL), pp. 2-11, December 1994.
-
(1994)
Proceedings 10th Computer Security Applications Conference
, pp. 2-11
-
-
Froscher, J.1
Kang, M.2
Mcdermott, J.3
Costich, O.4
Landwehr, C.E.5
-
36
-
-
84961750774
-
Towards and infrastructure for MLS distributed computing
-
(Phoenix, AZ), IEEE Computer Society Press, December
-
M. H. Kang, J. N. Froscher, and B. J. Eppinger, "Towards and Infrastructure for MLS Distributed Computing," in Proceedings of the Fourteenth Annual Computer Security Applications Conference, (Phoenix, AZ), pp. 91-100, IEEE Computer Society Press, December 1998.
-
(1998)
Proceedings of the Fourteenth Annual Computer Security Applications Conference
, pp. 91-100
-
-
Kang, M.H.1
Froscher, J.N.2
Eppinger, B.J.3
-
37
-
-
0032047528
-
Design and assurance strategy for the NRL pump
-
April
-
M. H. Kang and I. Moskowitz, "Design and Assurance Strategy for the NRL Pump," IEEE Computer, vol. 31, pp. 56-64, April 1998.
-
(1998)
IEEE Computer
, vol.31
, pp. 56-64
-
-
Kang, M.H.1
Moskowitz, I.2
-
38
-
-
0009483669
-
-
M. Anderson, C. North, J. Griffin, R. Milner, J. Yesberg, and K. Yiu, "Starlight: Interactive Link,"
-
Starlight: Interactive Link
-
-
Anderson, M.1
North, C.2
Griffin, J.3
Milner, R.4
Yesberg, J.5
Yiu, K.6
-
39
-
-
15944415192
-
Component architectures for trusted netware
-
(Baltimore, MD), October
-
J. Epstein, G. Grossman, and R. Schell, "Component Architectures for Trusted Netware," in Proceedings of the 18th National Information Systems Security Conference, vol. 2, (Baltimore, MD), pp. 455-463, October 1995.
-
(1995)
Proceedings of the 18th National Information Systems Security Conference
, vol.2
, pp. 455-463
-
-
Epstein, J.1
Grossman, G.2
Schell, R.3
-
40
-
-
33645586000
-
The Rule Sett Based Access Control (RSBAC) linux kernel security extension
-
(Enschede, Netherlands), Linux-Kongress, November
-
A. Ott, "The Rule Sett Based Access Control (RSBAC) Linux Kernel Security Extension," in 8th International Linux Kongress, (Enschede, Netherlands), Linux-Kongress, November 2001.
-
(2001)
8th International Linux Kongress
-
-
Ott, A.1
-
41
-
-
84860100096
-
-
October
-
P. Loscocco and S. Smalley. http://www.nsa.gov/selinux/slinuxabs.html, October 2000.
-
(2000)
-
-
Loscocco, P.1
Smalley, S.2
-
42
-
-
3242738876
-
A security policy configuration for security-enhanced linux
-
NAI Labs, January
-
S. Smalley and T. Fraser, "A Security Policy Configuration for Security-Enhanced Linux," tech. rep., NAI Labs, January 2001.
-
(2001)
Tech. Rep.
-
-
Smalley, S.1
Fraser, T.2
-
43
-
-
15944393278
-
Information support to multinational operations
-
July
-
C. Sanders, "Information Support to Multinational Operations," The Edge, vol. 5, July 2001.
-
(2001)
The Edge
, vol.5
-
-
Sanders, C.1
-
44
-
-
15944421531
-
Windows 2000 evaluated configuration administrator's guide, version 1.0
-
Microsoft Corporation, Redmond, WA
-
Microsoft, "Windows 2000 Evaluated Configuration Administrator's Guide, Version 1.0," tech. rep., Microsoft Corporation, Redmond, WA, 2002.
-
(2002)
Tech. Rep.
-
-
-
47
-
-
65449124474
-
-
October
-
R. Sharpe, "Just What is SMB?," http://samba.anu.edu.au/cifs/ docs/what-is-smb.html, October 2002.
-
(2002)
Just What Is SMB?
-
-
Sharpe, R.1
|