2673 search results - page 163 / 535 » Guided Static Analysis |
155
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
173
click to vote
RTCSA
2003
IEEE
15 years 9 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
127
click to vote
IWMM
2000
Springer
15 years 8 months ago
2000
Springer
We study the effectiveness of garbage collection (GC) algorithms by measuring the time difference between the actual collection time of an object and the potential earliest collec...
143
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents the first type system for statically analyzing security protocols that are based on zero-knowledge proofs. We show how several properties offered by zero-knowl...
122
click to vote
METRICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Up until recently software 'metrics' have been most often proposed as the quantitative tools of choice in software engineering, and the analysis of these had been most o...