1. Rating
   Rate the paper in the following categories (For each category,
   choose a one numeric rating)
 
  Technical quality
    5: Contents are completely correct. There are no errors.
    4: Contents are mostly correct. Some improvements suggested below.
    3: Some errors which can be easily corrected, as described below.
    2: Several errors but most are minor errors
    1: Several/major errors
    
    4: Event though this is an introduction to the topic, some references
       like (natural number = na/nat) are unclear.
  Originality
    5: New results of publishable quality and good analysis of current state
    4: Contains some new ideas, but can be developed as described
       below; good analysis of current state
    3: No significantly new ideas, but good analysis of current state
    2: Good survey of current state; no new ideas
    1: Survey of current state has gaps
    3: As a firsr introduction to AVISPA the paper serves well its purpose 
  
  Editorial quality
    5: Clear, understandable and easy to read
    4: Mostly understandable, some improvements identified below
    3: Understandable with some effort, several improvements suggested
       below
    2: Hard to understand; several improvements suggested below
    1: Very hard to understand
    4: The papers is basically a (5), but a fairly large amount of
       typos (see below) drag it down.
  Overall grade (overall, how do you rate this paper?)
    5: Excellent
    4: Very good
    3: Good
    2: Satisfactory
    1: Poor
    3: In my opinion, an even more basic protocol, analyzed and discussed
       IN FULL would have been more beneficial as a tutorial than these
       snippets from existing protocols. Some things are still left unclear,
       i.e. how channels and agents (and transactions) connect on the language
       level,
  
  Confidence (how confident are you about this review?)
    3: I have good or expert level knowledge of this topic
    2: I have some general knowledge of this subject
    1: This is a completely new subject to me; I made educated guesses
    2
Typos (these are the "corrected" versions)
:
-- sometimes too difficult _a_  task for the human mind
-- We need efficient tools ...
1.
-- can be seen as mathematical objects
2.
-- and the principles it is based on
2.1
-- in the following section ...
-- this translation
2.2
-- are participants to the protocol suite
-- is assumed
-- received and sent
-- the server role has the following transition
-- the letter i in the definition 
-- of a goal fact secret
-- distinguish the different security goals
-- syntax in the transition section for this security goal
2.3
-- cannot solve encryption
3
-- how the protocol is built