Advertisement

Appendix: Proofs

  • Claudio Bettini
  • Sushil Jajodia
  • X. Sean Wang
Chapter

Abstract

This appendix contains the proofs of the formal results presented in the book.

Keywords

Event Type Minimal Support Input Network Input Symbol Conversion Method 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Claudio Bettini
    • 1
  • Sushil Jajodia
    • 2
  • X. Sean Wang
    • 2
  1. 1.Information Science DepartmentUniversity of MilanMilanItaly
  2. 2.Department of Information and Software EngineeringGeorge Mason UniversityFairfaxUSA

Personalised recommendations