350 search results - page 1 / 70 » Improving application security with data flow assertions |
SOSP
2009
ACM
14 years 1 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
TRUSTBUS
2009
Springer
13 years 11 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
JDCTA
2010
12 years 11 months ago
2010
For the study of traffic flow, a number of factors for traffic flow is difficult to accurate description variables with specific parameters, but in similar circumstances, traffic ...
ISCA
2008
IEEE
13 years 5 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...
ACSAC
2006
IEEE
13 years 11 months 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...