Abstract
Lot of studies has been done on tackling untrusted programs. Most of the studies are aimed at preventing an untrusted program from execution. Models have been established to provide proofs to codes so that a program is allowed to execute only when the program passes a test. The test may be in the form of some proof, certificate etc. The basic idea is not to allow an untrusted program to execute if the safety cannot be guaranteed. This paper proposes a totally novel approach to tackle untrusted programs, infact it is diametrically opposite to the existing policies. It starts with the assumption that all untrusted programs are safe until proven otherwise. The best way to prove the safety of a program is to execute it at least once. We have proposed a new model to execute such programs in a virtual environment and then decide on the trustworthiness of the program.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Sekar, Venkatakrishnan, V.N., Basu, S., Bhatkar, S., DuVarney, D.: Model Carrying Code: A Practical Approach for safe Execution of Untrusted Applications. In: ACM Symposium on Operating Systems Principles (SOSP 2003), Bolton Landing, New York (2003)
Necula, G.: Proof Carrying Code. In: ACM Symposium on Principles of Programming Languages (1997)
Sandhu, R.S., Coyne, E.J., Feinseein, H.L., Younman, C.E.: Proceedings of the First ACM Workshop on Role-Based-Access Control. ACM, New York (1996)
Sandhu, R., Ferraiodo, D., Kulin, R.: The NIST Model for Role Based Access Control. In: 5th ACM Workshop on Role-Based Access Control, Berlin (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordoloi, D., Kumar, A. (2009). A Novel Framework for Executing Untrusted Programs. In: Prasad, S.K., Routray, S., Khurana, R., Sahni, S. (eds) Information Systems, Technology and Management. ICISTM 2009. Communications in Computer and Information Science, vol 31. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00405-6_35
Download citation
DOI: https://doi.org/10.1007/978-3-642-00405-6_35
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00404-9
Online ISBN: 978-3-642-00405-6
eBook Packages: Computer ScienceComputer Science (R0)