1183 search results - page 33 / 237 » On flow-sensitive security types |
172
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Today's file sharing networks are creating potential security problems to enterprise networks, i.e., the leakage of confidential documents. In order to prevent such ...
130
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
146
click to vote
IJSSE
2010
15 years 1 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
122
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
There are many commercial software security assurance tools that claim to detect and prevent vulnerabilities in application software. However, a closer look at the tools often lea...
140
click to vote
JCS
2007
15 years 4 months ago
2007
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have specified an information flow ty...