Article

TrustedBSD: Adding Trusted Operating System Features to FreeBSD

Author:

Robert N. M. WatsonAuthors Info & Claims

Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference

Pages 15 - 28

Published: 25 June 2001 Publication History

Abstract

No abstract available.

References

[1]

{1} Argus products overview: Pitbull. http://www.argussystems.com/product/ overview/pitbull/.

Google Scholar

[2]

{2} L. Badger, D. F. Sterne, D. L. Sherman, and K. M. Walker. A domain and type enforcement UNIX prototype. In Computing Systems, Winter, 1996., volume 9, Berkeley, CA, USA, Winter 1996. USENIX.

Crossref

Google Scholar

[3]

{3} D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundations and model. Technical Report M74-244, The MITRE Corp., Bedford MA, May 1973.

Google Scholar

[4]

{4} K. Biba. Integrity considerations for secure computer systems. Technical Report TR-3153, Mitre, Bedford, MA, Apr. 1977.

Google Scholar

[5]

{5} N. C. C. I. Board. Common criteria version 2.1 (ISO IS 15408), 2000.

Google Scholar

[6]

{6} T. Fraser. LOMAC: MAC You Can Live With. In Proceedings of the USENIX Annual Technical Conference, June 2001.

Crossref

Google Scholar

[7]

{7} FreeBSD Project. FreeBSD home page. http://www.FreeBSD.org/.

Google Scholar

[8]

{8} A. Grunbacher. Extended attributes and access control lists for linux. http://acl.betbits.at/.

Google Scholar

[9]

{9} IEEE. Portable operating system interface (POSIX)-part 1: System application program interface (API): Protection, audit and control interfaces: C language, October 1997. PSSG/D17, POSIX.1e.

Google Scholar

[10]

{10} N. S. A. Information Systems Security Organization. Controlled access protection profile version 1.d, October 1999.

Google Scholar

[11]

{11} N. S. A. Information Systems Security Organization. Labeled security protection profile version 1.b, October 1999.

Google Scholar

[12]

{12} P.-H. Kemp and R. N. M. Watson. Jails: Confining the omnipotent root. In Proceedings, SANE 2000 Conference. NLUUG, 2000.

Google Scholar

[13]

{13} P. A. Loscocco and S. D. Smalley. Integrating Flexible Support for Security Policies into the Linux Operating System. In Proceedings of the USENIX Annual Technical Conference, June 2001.

Crossref

Google Scholar

[14]

{14} M. McKusick, K. Bostic, M. Karels, and J. Quarterman. Design and implementation of the 4.4BSD operating system, 1996.

Crossref

Google Scholar

[15]

{15} A. Morgan. Privileges for linux. http://www.kernel.org/pub /linux/libs/security/linux-privs/.

Google Scholar

[16]

{16} U. S. D. of Defense. Trusted Computer System Evaluation Criteria. Department of Defense, December 1985.

Google Scholar

[17]

{17} Rule set based access control (RSBAC) for linux. http://www.rsbac.org/.

Google Scholar

[18]

{18} SGI. B1 sample source code. http://oss.sgi.com/projects/ob1/.

Google Scholar

[19]

{19} Trusted Mach Security Architecture. TIS TMACH Edoc-0001-97A.

Google Scholar

[20]

{20} TrustedBSD Project. TrustedBSD home page. http://www.TrustedBSD.org/.

Google Scholar

[21]

{21} D. Walsh, B. Lyon, G. Sager, J. M. Chang, D. Goldberg, S. Kleiman, T. Lyon, R. Sandberg, and P. Weiss. Overview of the Sun network file system. In Proceedings: USENIX Association Winter Conference, January 23-25, 1985, Dallas, Texas, USA, pages 117- 124. USENIX, Winter 1985.

Google Scholar

[22]

{22} R. Watson. Introducing supporting infrastructure for trusted operating system support in FreeBSD. In BSD Conference , Monterey, CA, USA, October 2000.

Google Scholar

Cited By

View all

Deshotels LDeaconescu RChiroiu MDavi LEnck WSadeghi AWeippl EKatzenbeisser SKruegel CMyers AHalevi S(2016)SandScoutProceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security10.1145/2976749.2978336(704-716)Online publication date: 24-Oct-2016
https://dl.acm.org/doi/10.1145/2976749.2978336
Heuser SNadkarni AEnck WSadeghi AFu K(2014)ASMProceedings of the 23rd USENIX conference on Security Symposium10.5555/2671225.2671289(1005-1019)Online publication date: 20-Aug-2014
https://dl.acm.org/doi/10.5555/2671225.2671289
Sun YPetracca GJaeger TAhn GOprea ASafavi-Naini R(2014)Inevitable FailureProceedings of the 6th edition of the ACM Workshop on Cloud Computing Security10.1145/2664168.2664180(141-150)Online publication date: 7-Nov-2014
https://dl.acm.org/doi/10.1145/2664168.2664180
Show More Cited By

Index Terms

TrustedBSD: Adding Trusted Operating System Features to FreeBSD
1. Security and privacy
  1. Systems security
    1. Operating systems security
2. Social and professional topics
  1. Computing / technology policy
    1. Computer crime

Recommendations

Comments

Information & Contributors

Information

Published In

Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference

June 2001

297 pages

ISBN:1880446103

Editor:
Clem Cole

Publisher

USENIX Association

United States

Publication History

Published: 25 June 2001

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 26 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Deshotels LDeaconescu RChiroiu MDavi LEnck WSadeghi AWeippl EKatzenbeisser SKruegel CMyers AHalevi S(2016)SandScoutProceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security10.1145/2976749.2978336(704-716)Online publication date: 24-Oct-2016
https://dl.acm.org/doi/10.1145/2976749.2978336
Heuser SNadkarni AEnck WSadeghi AFu K(2014)ASMProceedings of the 23rd USENIX conference on Security Symposium10.5555/2671225.2671289(1005-1019)Online publication date: 20-Aug-2014
https://dl.acm.org/doi/10.5555/2671225.2671289
Sun YPetracca GJaeger TAhn GOprea ASafavi-Naini R(2014)Inevitable FailureProceedings of the 6th edition of the ACM Workshop on Cloud Computing Security10.1145/2664168.2664180(141-150)Online publication date: 7-Nov-2014
https://dl.acm.org/doi/10.1145/2664168.2664180
Vijayakumar HGe XJaeger TOsborn STripunitara MMolloy I(2014)Policy models to protect resource retrievalProceedings of the 19th ACM symposium on Access control models and technologies10.1145/2613087.2613111(211-222)Online publication date: 25-Jun-2014
https://dl.acm.org/doi/10.1145/2613087.2613111
Talele NTeutsch JErbacher RJaeger TOsborn STripunitara MMolloy I(2014)Monitor placement for large-scale systemsProceedings of the 19th ACM symposium on Access control models and technologies10.1145/2613087.2613107(29-40)Online publication date: 25-Jun-2014
https://dl.acm.org/doi/10.1145/2613087.2613107
Mulliner CRobertson WKirda EMoriai SJaeger TSakurai K(2014)VirtualSwindleProceedings of the 9th ACM symposium on Information, computer and communications security10.1145/2590296.2590335(459-470)Online publication date: 4-Jun-2014
https://dl.acm.org/doi/10.1145/2590296.2590335
Talele NTeutsch JJaeger TErbacher R(2013)Using security policies to automate placement of network intrusion preventionProceedings of the 5th international conference on Engineering Secure Software and Systems10.1007/978-3-642-36563-8_2(17-32)Online publication date: 27-Feb-2013
https://dl.acm.org/doi/10.1007/978-3-642-36563-8_2
Park YLee CLee CLim JHan SPark MCho SKirda E(2012)RGBDroidProceedings of the 5th USENIX conference on Large-Scale Exploits and Emergent Threats10.5555/2228340.2228353(9-9)Online publication date: 24-Apr-2012
https://dl.acm.org/doi/10.5555/2228340.2228353
Muthukumaran DRueda STalele NVijayakumar HTeutsch JJaeger TZakon R(2012)Transforming commodity security policies to enforce Clark-Wilson integrityProceedings of the 28th Annual Computer Security Applications Conference10.1145/2420950.2420991(269-278)Online publication date: 3-Dec-2012
https://dl.acm.org/doi/10.1145/2420950.2420991
Muthukumaran DJaeger TGanapathy VYu TDanezis GGligor V(2012)Leveraging "choice" to automate authorization hook placementProceedings of the 2012 ACM conference on Computer and communications security10.1145/2382196.2382215(145-156)Online publication date: 16-Oct-2012
https://dl.acm.org/doi/10.1145/2382196.2382215
Show More Cited By

Cited By

Index Terms

Recommendations

Linux on HP Integrity Servers

Ubuntu 7.10 linux® unleashed, third edition

Red Hat Fedora Core 6 Unleashed