• Secure Messaging
• Objectives
• Prior work
• Requirements
• Emanuele’s proposal
• Introduction
• How a chain is processed
• Errors: signalling and debugging them
• Pausing the xform chain to make a new transaction
• Modularity
• Proposal from V.Tarasov
• Proposal from J. Antonio Martínez