1073 search results - page 3 / 215 » Secure context-sensitive authorization |
CCS
2003
ACM
15 years 3 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
ISCI
2010
14 years 8 months ago
2010
ACSAC
2000
IEEE
15 years 2 months ago
2000
IEEE
CSFW
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...