3420 search results - page 158 / 684 » A Language-Based Approach to Security |
136
click to vote
REFLECTION
2001
Springer
15 years 8 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...
123
click to vote
CSMR
2009
IEEE
15 years 11 months ago
2009
IEEE
It is important to focus on security aspects during the development cycle to deliver reliable software. However, locating security faults in complex systems is difficult and ther...
143
click to vote
AICCSA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...
140
click to vote
EUROCRYPT
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
153
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Given the high cost of producing software, development of technology for prevention of software piracy is important for the software industry. In this paper we present a novel app...