4731 search results - page 115 / 947 » Securing Interactive Programs |
DRMTICS
2005
Springer
14 years 2 months ago
2005
Springer
In this paper we propose a new scheme for software obfuscation and license protection that is based on an original transformation of the program’s call tree. The idea is based on...
DAGSTUHL
2001
13 years 10 months ago
2001
Abstract. Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access ...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
REFLECTION
2001
Springer
14 years 1 months ago
2001
Springer
This article investigates the security problems raised by the use of proxy-based runtime meta-object protocols (MOPs) for Java and provides an approach for making meta-level code t...
BMCBI
2007
13 years 9 months ago
2007
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...