Bitfrost: The one laptop per child security model

ACM International Conference Proceeding Series

Volumn 229, Issue , 2007, Pages 132-142

  Krsti, Ivan ^a   Garfinkel, Simson L ^b  

^a One Laptop per Child   (United States)

^b NAVAL POSTGRADUATE SCHOOL   (United States)

Author keywords

Bitfrost; Linux

Indexed keywords

COMPUTER OPERATING SYSTEMS; LAPTOP COMPUTERS; SECURITY OF DATA;

BITFROST; INTEGRATED SECURITY MODELS; LINUX OPERATING SYSTEM;

SOFTWARE PACKAGES;

EID: 36949002477     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1280680.1280697     Document Type: Conference Paper

References (24)

1. D. Bell and L. LaPadula. Secure computer systems: Mathematical foundations and model. report MTR 2547 v2. Technical report, MITRE, November 1973.
2. Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. StackGuard: Automatic adaptive detection and prevention of buffer-overflow attacks. In Proc. 7th USENIX Security Conference, pages 63-78. Usenix, San Antonio, Texas, jan 1998. citeseer.ist.psu.edu/cowan98stackguard.html.
3. D. Crockford. RFC 4627: The application/json media type for javascript object notation (json), July 2006.
4. Peter Elbow. In defense of private writing. Written Communication, 16(2): 139-170, 1999.
5. Simson Garfinkel. The pure software act of 2006. TechnologyReview. com, April 7 2004. http://simson.net/clips/2004/2004.TR.04.PureSoftware.pdf.
6. Simson L. Garfinkel. Design Principles and Patterns for Computer Systems that are Simultaneously Secure and Usable. PhD thesis, MIT, Cambridge, MA, April 26 2005.
7. Simson L. Garfinkel and Robert Miller. The johnny 2 standardized secure messaging scenario. In Symposium on Usable Privacy and Security. ACM Press, 2005.
8. Joseph A. Goguen and José Meseguer. Security policies and security models. In Proceedings of the Berkeley Conference on Computer Security, pages 11-22. IEEE CS Press, 1982.
9. Peter Gutmann. Why isn't the Internet secure yet, dammit. In AusCERT Asia Pacific Information Technology Security Conference 2004; Computer Security: Are we there yet? AusCERT, May 2004. http://www.cs.auckland.ac.nz/~pgut001/ pubs/dammit.pdf.
10. Poul-Hennmg Kamp and Robert N. M. Watson. Jails: Confining the omnipotent root. In System Administration and Network Engineering (SANE) 2000. Stichting NLnet and USENIX, May 2000. http://docs.freebsd.org/44doc/papers/jail/ jail.html.
11. D. Kirovski, M. Drinic, and M. Potkonjak. Enabling trusted software integrity. In In Proceedings of ASPLOS, pages 108-120, 2002.
12. OLPC. Hardware specification, 2007. http://wiki.laptop.org/go/ Hardware_specification.
13. OLPC. Sugar, 2007. http://wiki.laptop.org/go/Sugar.
14. Open firmware home page, 2007. http://www.openfirmware.org.
15. What is OpenID, 2007. http://openid.net.
16. Seymour Papert and Idit Harel. Constructionism. Ablex Publishing Corporation, 1991.
17. C. Partridge. RFC 1363: A proposed flow specification, September 1992. Status: INFORMATIONAL.
18. Brian Reid. Reflections on some recent widespread computer break-ins. Commun. ACM, 30(2): 103-105, 1987. ISSN 0001-0782.
19. Marc Stiegler, Alan H. Karp, Ka-Ping Yee, Tyler Close, and Mark S. Miller. Polaris: virus-safe computing for windows xp. Commun. ACM, 49(9): 83-88, 2006. ISSN 0001-0782.
20. Snorri Sturluson. Edda. Everyman Paperback Classics, 1995.
21. Linux VServer. http://linux-vserver.org/.
22. David Woodhouse. The journaling flash file system, July 2001.
23. Ka-Ping Yee. User interaction design for secure systems. In Proceedings of the 4th International Conference on Information and Communications Security. Springer-Verlag, 2002. LNCS 2513.
24. Ka-Ping Yee. Aligning security and usability. Security & Privacy Magazine, 2:48-55, Sept-Oct 2004.