CAI
2005
Springer
14 years 2 months ago
2005
Springer
CAI
2005
Springer
14 years 2 months ago
2005
Springer
The paper shows a logspace-reduction from the boolean circuit value problem which demonstrates that any relation subsuming bisimilarity and being subsumed by trace preorder (i.e.,...
CAI
2005
Springer
14 years 2 months ago
2005
Springer
CAI
2005
Springer
14 years 2 months ago
2005
Springer
Current information protection systems only detect and warn against individual intrusion, and are not able to provide a collective and synthesized alert message. In this paper, we ...