1528 search results - page 137 / 306 » Performance Assertion Checking |
123
click to vote
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
117
click to vote
LISA
2003
15 years 3 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
116
click to vote
SPIN
2010
Springer
15 years 26 days ago
2010
Springer
Abstract. Context-Bounded Analysis has emerged as a practical automatic formal analysis technique for fine-grained, shared-memory concurrent software. Two recent papers (in CAV 20...
136
click to vote
PRDC
1999
IEEE
15 years 6 months ago
1999
IEEE
Generally, applications employing Database Management Systems (DBMS) require that the integrity of the data stored in the database be preserved during normal operation as well as ...
127
click to vote
ACSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Validating function pointers dynamically is very useful for intrusion detection since many runtime attacks exploit function pointer vulnerabilities. Most current solutions tackl...