7 search results - page 1 / 2 » Combining Static and Dynamic Analysis for Automatic Identifi... |
ACSAC
2007
IEEE
13 years 11 months ago
2007
IEEE
ICTCS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
CADE
2008
Springer
14 years 5 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
COLCOM
2009
IEEE
13 years 9 months ago
2009
IEEE
— Sharing personal information and documents is pervasive in Web 2.0 environments, which creates the need for properly controlling shared data. Most existing authorization and po...
ISSTA
2006
ACM
13 years 10 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....