Header | Description |
---|---|
# Free variables | Defines the agents, variables and functions in the protocol |
# Processes | Represents each agent as a process |
# Protocol description | Shows all the messages exchanged between the agents |
# Specification | Specifies the security properties to be checked |
# Actual variables | Defines the real variables, in the actual system to be checked |
# Functions | Defines all the functions used in the protocol |
# System | Lists the agents participating in the actual system with their parameters instantiated |
# Intruder information | Specifies the intruder's knowledge and capabilities |