1599 search results - page 191 / 320 » Program Analysis for Security and Privacy |
123
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...
118
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Ownership domain annotations express and enforce design intent related to object encapsulation and communication directly in real object-oriented code. First, this work will make ...
135
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
145
click to vote
ACISP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The emergence of computing environments where smart devices are embedded pervasively in the physical world has made possible many interesting applications and has trigger...
140
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...