Advertisement

Preface to the special issue on ESORICS 2003

  • Einar Snekkenes
Regular contribution
  • 39 Downloads

Keywords

Model Checker Information Security Formal Approach Symbolic Model Checker Message Space 
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.

Copyright information

© Springer-Verlag 2004

Authors and Affiliations

  • Einar Snekkenes
    • 1
  1. 1.Gjøvik University CollegeNorway

Personalised recommendations