Revisions up to the middle of page 8.
Merge branch 'master' of https://github.com/SecurityManagerCodeBase/Paper
Detailed revision pass of second half of paper.