Sciweavers

1599 search results - page 20 / 320
» Program Analysis for Security and Privacy
Sort
View
53
Voted
OOPSLA
2005
Springer
15 years 7 months ago
Ambient-oriented programming in ambientTalk
Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker, ...
78
Voted
OOPSLA
2004
Springer
15 years 7 months ago
Converting java programs to use generic libraries
Alan Donovan, Adam Kiezun, Matthew S. Tschantz, Mi...
ACSAC
2001
IEEE
15 years 5 months ago
Abuse-Case-Based Assurance Arguments
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...
John P. McDermott
110
Voted
FOSAD
2009
Springer
15 years 5 months ago
Certified Static Analysis by Abstract Interpretation
d Static Analysis by Abstract Interpretation Fr
Frédéric Besson, David Cachera, Thom...
SP
2006
IEEE
177views Security Privacy» more  SP 2006»
15 years 7 months ago
FIREMAN: A Toolkit for FIREwall Modeling and ANalysis
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
Lihua Yuan, Jianning Mai, Zhendong Su, Hao Chen, C...