1183 search results - page 50 / 237 » On flow-sensitive security types |
113
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
149
click to vote
MODELLIERUNG
2008
15 years 5 months ago
2008
: Various types of security goals, such as authentication or confidentiality, can be defined as policies for process-aware information systems, typically in a manual fashion. There...
148
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
138
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
141
click to vote
ESORICS
2010
Springer
15 years 5 months ago
2010
Springer
Sun and the CERT recommend for secure Java development to not allow partially initialized objects to be accessed. The CERT considers the severity of the risks taken by not followin...