CAI
2005
Springer
13 years 11 months ago
2005
Springer
CAI
2005
Springer
13 years 11 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
13 years 11 months ago
2005
Springer
CAI
2005
Springer
13 years 11 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 ...