Design and Implementation of Secure Software Execution System SoftwarePot

Computer Software

Volumn 19, Issue 6, 2002, Pages 426-436

  Oyama, Yoshihiro ^a   Kanda, Katsunori ^b  

^a JAPAN SCIENCE AND TECHNOLOGY AGENCY   (Japan)

^b UNIVERSITY OF TSUKUBA   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85024722670     PISSN: 02896540     EISSN: None     Source Type: Journal    
DOI: 10.11309/jssst.19.426     Document Type: Article

References (22)

1. Acharya, A. and Raje, M. : MAPbox: Using Parameterized Behavior Classes to Confine Untrusted Applications, Proceedings of the 9th USENIX Security Symposium, August 2000.
2. Alexandrov, A., Ibel, M., Schauser, K.E. and Scheiman, C.J. : Ufo: A Personal Global File System Based on User-Level Extensions to the Operating System, ACM Trans. Comput. Syst., Vol. 16, No. 3 (1998) pp. 207-233.
3. Alexandrov, A., Kmiec, P. and Schauser, K. : Consh: Confined Execution Environment for Internet Computations. http://www.cs.ucsb.edu/~berto/papers/99-usenix-consh.ps, December 1998.
4. Berman, A., Bourassa, V. and Selberg, E. : TRON: Process-Specific File Protection for the UNIX Operating System, Proceedings of USENIX Winter 1995 Technical Conference, pp. 165-175, January 1995.
5. Bishop, M. and Dilger, M. : Checking for Race Conditions in File Accesses, Computing Systems, Vol. 9, No. 2 (1996) pp. 131-152.
6. Cowan, C., Beattie, S., Kroah-Hartman, G., Pu, C., Wagle, P. and Gligor, V. : SubDomain: Parsimonious Server Security, Proceedings of the 14th Systems Administration Conference (LISA 2000), December 2000.
7. Goldberg, I., Wagner, D., Thomas, R. and Brewer, E.A. : A Secure Environment for Untrusted Helper Applications: Confining the Wily Hacker, Proceedings of the 6th USENIX Security Symposium, pp. 1-13, July 1996.
8. Hat, R. : RPM. http://www.rpm.org/.
9. Huagang, X. : Build a Secure System with LIDS. http://www.lids.org/, October 2000.
10. Kamp, Poul-H. and Watson, R.N.M. : Jails: Confining the omnipotent root, Proceedings of the 2nd International System Administration and Networking Conference (SANE 2000), May 2000.
11. Kato K. and Oyama, Y. : SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation, Technical Report ISE-TR-02-185, Institute of Information Sciences and Electronics, University of Tsukuba, January 2002.
12. Kato, K., Oyama, Y., Kanda, K. and Matsubara, K. : Software Circulation using Sand-boxed File Space — Previous Experience and New Approach —, Proceedings of the 8th ECOOP Workshop on Mobile Object Systems (MOS 2002), June 2002.
13. Korn, D.G. and Krell, E. : A New Dimension for the Unix File System, Software — Practice and Experience, Vol. 20, No. S1 (1990), pp. 19-34.
14. Levy, J.Y., Demailly, L., Ousterhout, J.K. and Welch, B.B. : The Safe-Tcl Security Model, Proceedings of the USENIX Annual Technical Conference (NO 98), June 1998.
15. Necula, G.C. : Proof-Carrying Code, Proceedings of the 24th SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97), pp. 106-119, January 1997.
16. Neuman, B.C. : The Prospero File System: A Global File System Based on the Virtual System Model, Computing Systems, Vol. 5, No. 4 (1992), pp. 407-432.
17. Prevelakis, V. and Spinellis, D. : Sandboxing Applications, Proceedings of2001 USENIX Annual Technical Conference, FREENIX Track, June 2001.
18. Sekar, R., Ramakrishnan, C.R., Ramakrishnan, I.V. and Smolka, S.A. : Model-Carrying Code (MCC): A New Paradigm for Mobile-Code Security, Proceedings of New Security Paradigms Workshop (NSPW '01), pp. 23-30, September 2001.
19. Stein, L.D. : SBOX: Put CGI Scripts in a Box, Proceedings of the USENIX Annual Technical Conference, June 1999.
20. Takahashi, M., Kono, K. and Masuda, T. : Efficient Kernel Support of Fine-Grained Protection Domains for Mobile Code, Proceedings of the 19th International Conference on Distributed Computing Systems (ICDCS '99), pp. 64-73, May-June 1999.
21. User-Mode Linux : http://user-mode-linux.sourceforge.net/.
22. VMware : http://www.vmware.com/.