saag-1----Page:9
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
|
The High Level Protocol Specification Language (HLPSL) Role-based language: a role for each (honest) agent parallel and sequential composition glue roles together The HLPSL enjoys both a declarative semantics based on a fragment of the Lamport’s Temporal Logic of Actions and an operational semantics based on a translation into a rewrite-base formalism: the Intermediate Format (IF). Intruder is modeled by the channel(s) over which the communication takes places. |