1599 search results - page 234 / 320 » Program Analysis for Security and Privacy |
149
click to vote
IWIA
2005
IEEE
15 years 9 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
125
Voted
ERSA
2009
15 years 1 months ago
2009
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
124
click to vote
DBPL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we revisit the view based security framework for XML without imposing any of the previously considered restrictions on the class of queries, the class of DTDs, and t...
151
click to vote
LATINCRYPT
2010
15 years 2 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...
129
Voted
SIGMOD
2011
ACM
14 years 6 months ago
2011
ACM
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...