4 search results - page 1 / 1 » Checking System Rules Using System-Specific, Programmer-Writ... |
OSDI
2000
ACM
13 years 6 months ago
2000
ACM
SP
2002
IEEE
13 years 4 months ago
2002
IEEE
This paper shows how system-speci c static analysis can nd security errors that violate rules such as \integers from untrusted sources must be sanitized before use" and \do n...
SEDE
2007
2007
A framework for constraint checking involving aggregates for multiple XML databases using schematron
13 years 6 months ago
Many internet and enterprise applications now not only use XML (eXtensible Markup Language) as a medium for communication but also for storing their data either temporarily for an...
ECOOP
2005
Springer
13 years 10 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...