87 search results - page 3 / 18 » Dynamic vs. Static Flow-Sensitive Security Analysis |
OOPSLA
2004
Springer
14 years 24 days ago
2004
Springer
This paper introduces dynamic object colocation, an optimization to reduce copying costs in generational and other incremental garbage collectors by allocating connected objects t...
ASIAN
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...
SAJ
2000
13 years 7 months ago
2000
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
CADE
2008
Springer
14 years 7 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...
ESORICS
2012
Springer
11 years 9 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...