252 search results - page 2 / 51 » Protecting Software Code by Guards |
LCR
2000
Springer
14 years 2 months ago
2000
Springer
COMPSAC
2003
IEEE
14 years 4 months ago
2003
IEEE
We present in this paper an extension of the messagedriven confidence-driven framework that we developed for onboard guarded software upgrading. The purpose of this work is to pr...
AMAST
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
TLDI
2005
ACM
14 years 4 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
CSREASAM
2007
14 years 9 days ago
2007
In this paper, we propose an architecture that protects software by the hardware. The protection hardware can reside on the local machine in the form of a chip or on a remote serv...