Merge pull request #36 from spderosso/master

move fact
Added a chapter on security properties
Minor fixes to analysis.als
small fixes
added alloy kw missing in some code blocks