You might be interested in the "defense tree" I've posted at http://zesty.ca/voting/reqs.html. The higher levels of the tree could apply to voting systems in general, whereas the lower levels are more specific to my implementation.