Added a chapter on security properties