4731 search results - page 259 / 947 » Securing Interactive Programs |
184
click to vote
ACSAC
2006
IEEE
16 years 14 days ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
175
click to vote
ESCIENCE
2006
IEEE
16 years 14 days ago
2006
IEEE
Scientific workflows are a powerful programming technique for specifying complex computations using a number of otherwise independent components. When used in a Grid environment, ...
189
click to vote
ECEASST
2010
15 years 1 months ago
2010
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
148
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...
176
Voted
AICCSA
2008
IEEE
16 years 27 days 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...