(2.1) Map disclosure transactions to actions in software design.
(2.2) Specify disclosure protocols to be analysed on PriSAT.
(2.3) Create Interaction Model on PriSAT