244 search results - page 7 / 49 » Dynamic Dependency Monitoring to Secure Information Flow |
99
Voted
SECURWARE
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
105
Voted
EUROISI
2008
15 years 2 months ago
2008
This paper discusses the task of tracking mentions of some topically interesting textual entity from a continuously and dynamically changing flow of text, such as a news feed, the ...
116
Voted
POPL
2012
ACM
13 years 8 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
115
click to vote
CSFW
2012
IEEE
13 years 3 months ago
2012
IEEE
—Tracking information flow in dynamic languages remains an important and intricate problem. This paper makes substantial headway toward understanding the main challenges and res...
84
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...