171 search results - page 19 / 35 » Improving Computer Security Using Extended Static Checking |
CCS
2009
ACM
15 years 1 months ago
2009
ACM
Despite the many efforts made in recent years to mitigate runtime attacks such as stack and heap based buffer overflows, these attacks are still a common security concern in today...
GI
2004
Springer
15 years 2 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
TCS
2008
14 years 9 months ago
2008
Our society is increasingly moving towards richer forms of information exchange where mobility of processes and devices plays a prominent role. This tendency has prompted the acad...
RV
2010
Springer
14 years 7 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
CSCWD
2008
Springer
14 years 11 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...