Specification of secure polling used by Hong Kong pro-demo primaries