tokens: ['exists', 'several', 'ways', 'to', 'prove', 'characteristics', 'indicating', 'the', 'security', 'of', 'DSA', 'as', 'follows', 'One', 'slightly', 'modified', 'version', 'of', 'DSA', 'can', 'be', 'proven', 'secure', 'in', 'RO', 'model', '', 'by', 'simply', 'replacing', 'the', 'HashM', 'by', 'HashrM', 'where', '', 'means', 'concatenation', 'It', 'has', 'been', 'included', 'in', 'ISOIEC', '', 'If', 'besides', 'the', 'hash', 'function', 'the', 'mod', 'q', 'subgroup', 'order', 'function', 'is', 'also', 'assumed', 'as', 'a', 'random', 'oracle', 'Then', 'DSA', 'can', 'be', 'proven', 'secure', 'in', 'RO', 'model', '', 'According', 'to', 'the', 'above', 'proof', 'it', 'has', 'been', 'concluded', 'that', 'if', 'DSA', 'and', 'its', 'variants', 'can', 'be', 'broken', 'by', 'an', 'existential', 'forgery', 'using', 'an', 'adaptatively', 'chosenmessage', 'attack', 'then', 'either', 'DL', 'problem', 'can', 'be', 'solved', 'or', 'Hash', 'function', 'can', 'be', 'distinguished', 'from', 'ideal', 'hash', 'function', 'or', 'Collisions', 'can', 'be', 'found', 'for', 'mod', 'q', 'function', 'However', 'the', 'above', 'are', 'all', 'hard', 'problems', 'and', 'no', 'efficient', 'algorithm', 'is', 'known', 'to', 'solve', 'them', 'thus', 'conclude', 'a', 'contradiction', 'indicating', 'that', 'DSA', 'is', 'secure']