1599 search results - page 20 / 320 » Program Analysis for Security and Privacy |
OOPSLA
2005
Springer
14 years 2 months ago
2005
Springer
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
ACSAC
2001
IEEE
14 years 8 days ago
2001
IEEE
This paper describes an extension to abuse-casebased security requirements analysis that provides a lightweight means of increasing assurance in security relevant software. The ap...
FOSAD
2009
Springer
14 years 14 days ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr
SP
2006
IEEE
14 years 2 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...