4731 search results - page 139 / 947 » Securing Interactive Programs |
ECIS
2001
13 years 10 months ago
2001
This paper presents a new curriculum for the Internet and e-business that has been developed at University of Redlands in Southern California with first offering in 2000. The pape...
IFIP
2009
Springer
14 years 3 months ago
2009
Springer
When a computer program requires legitimate access to confidential data, the question arises whether such a program may illegally reveal sensitive information. This paper proposes...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
CAV
2011
Springer
13 years 18 days ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...