436 search results - page 69 / 88 » A secure execution framework for Java |
SEKE
2010
Springer
13 years 6 months ago
2010
Springer
Given the bytecode of a software system, is it possible to automatically generate attack signatures that reveal its vulnerabilities? A natural solution would be symbolically execu...
DSN
2002
IEEE
14 years 1 months ago
2002
IEEE
Language run-time systems are routinely used to host potentially buggy or malicious codelets — software modules, agents, applets, etc. — in a secure environment. A number of t...
SAFECOMP
1998
Springer
14 years 1 days ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
AOIS
2003
13 years 9 months ago
2003
Abstract. In this paper, we describe an Intelligent Multiagent Infrastructure for Distributed Systems in Education (or I-MINDS) framework that applies an agent-oriented information...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Semantic Web research aims at bridging the gap between how humans and agents process information readily available on the Internet. One of the great challenges to this goal lies i...