Search results for "mobile code security"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka	Model-Carrying Code (MCC): a new paradigm for mobile-code security.	NSPW	2001	DBLP DOI BibTeX RDF	information assurance, mobile code security
2	Emilio Rodriguez Priego, Francisco José García Izquierdo	Securing Code in Services Oriented Architecture.	ICWE	2007	DBLP DOI BibTeX RDF	Service Oriented Architecture, Web services security, mobile code security
1	Micah Jones, Kevin W. Hamlen	A Service-oriented Approach to Mobile Code Security.	Procedia CS	2011	DBLP DOI BibTeX RDF
1	Juan Chen, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
1	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet	Implementing a Direct Method for Certificate Translation.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Yang Yu, Fanglu Guo, Susanta Nanda, Lap-Chung Lam, Tzi-cker Chiueh	A feather-weight virtual machine for windows applications.	VEE	2006	DBLP DOI BibTeX RDF	namespace virtualization, virtual machine, copy on write, mobile code security, system call interception
1	Ariel Futoransky, Emiliano Kargieman, Carlos Sarraute, Ariel Waissbein	Foundations and applications for secure triggers.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	Malicious host problem, secure triggers, obfuscation, universally composable security, mobile code security
1	Changzheng Zhu, Zhaolin Yin, Aijuan Zhang	Mobile Code Security on Destination Platform.	ICCNMC	2005	DBLP DOI BibTeX RDF
1	Viktoria Felmetsger, Giovanni Vigna	Exploiting OS-Level Mechanisms to Implement Mobile Code Security.	ICECCS	2005	DBLP DOI BibTeX RDF	OS Security, Mobile Code, Mobile Agent Security
1	Gaowei Bian, Ken Nakayama, Yoshitake Kobayashi, Mamoru Maekawa	Java mobile code security by bytecode behavior analysis.	IASTED Conf. on Software Engineering and Applications	2004	DBLP BibTeX RDF
1	Philip W. L. Fong	Pluggable verification modules: an extensible protection mechanism for the JVM.	OOPSLA	2004	DBLP DOI BibTeX RDF	Aegis VM, extensible protection mechanism, pluggable verification modules, proof linking, Java virtual machine, bytecode verification, extensible systems, mobile code security
1	Long Qin, Si Duanfeng, Han Xinhui, Zou Wei	A Hybrid Security Framework of Mobile Code.	COMPSAC	2004	DBLP DOI BibTeX RDF
1	Volker Gruhn, Clemens Schäfer	An Architecture Description Language for Mobile Distributed Systems.	EWSA	2004	DBLP DOI BibTeX RDF
1	R. Sekar, V. N. Venkatakrishnan, Samik Basu, Sandeep Bhatkar, Daniel C. DuVarney	Model-carrying code: a practical approach for safe execution of untrusted applications.	SOSP	2003	DBLP DOI BibTeX RDF	sand-boxing, security policies, policy enforcement, mobile code security
1	Mike Jochen, Lisa M. Marvel, Lori L. Pollock	A Framework for Tamper Detection Marking of Mobile Applications.	ISSRE	2003	DBLP DOI BibTeX RDF
1	Hock Kim Tan, Luc Moreau	Certificates for mobile code security.	SAC	2002	DBLP DOI BibTeX RDF	mobile agent certificates, mobile agent security framework, mobile agent security
1	Li Gong	Developing Security Systems in the Real World.	ECOOP	2000	DBLP DOI BibTeX RDF
1	Aviel D. Rubin, Daniel E. Geer Jr.	Mobile Code Security.	IEEE Internet Computing	1998	DBLP DOI BibTeX RDF