252 search results - page 11 / 51 » Protecting Software Code by Guards |
ISI
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Trusted software execution, prevention of code and data tampering, authentication, and providing a secure environment for software are some of the most important security...
111
Voted
PEPM
2004
ACM
15 years 5 months ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
117
click to vote
IASTEDSE
2004
15 years 1 months ago
2004
The Unified Modeling Language (UML) statechart diagram is used for modeling the dynamic aspects of systems. The UML statechart diagrams include many concepts that are not present ...
134
click to vote
VEE
2012
ACM
13 years 7 months ago
2012
ACM
Process-level virtualization is increasingly being used to enhance the security of software applications from reverse engineering and unauthorized modification (called software p...
107
Voted
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...