Updated the invariant names to authenticity, confidentiality, and intention preservation.
Checkpoint on paper with diagrams and most parts in draft version.