933 search results - page 76 / 187 » Extending Forward Checking |
125
click to vote
CCS
2011
ACM
14 years 22 days ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
CSL
2009
Springer
15 years 7 months ago
2009
Springer
One of Courcelle’s celebrated results states that if C is a class of graphs of bounded tree-width, then model-checking for monadic second order logic (MSO2) is fixed-parameter t...
93
Voted
CSFW
2006
IEEE
15 years 6 months ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
114
click to vote
ISSTA
2000
ACM
15 years 5 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
134
Voted
ESEC
1997
Springer
15 years 4 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...