16. The system as recited in claim 13 , wherein the translating comprises: matching a logic language pattern of the fragment of the plurality of fragments of the first proof graph to a corresponding security language pattern selected from multiple possible security language patterns.
13. A system comprising: one or more processors; memory storing executable instructions that, when executed by the one or more processors, cause the one or more processors to perform acts comprising: translating a fragment of a plurality of fragments of a first proof graph reflecting a logic language into a corresponding fragment of a second proof graph reflecting a security language, wherein each fragment of the plurality of fragments forms part of a structure of the first proof graph and includes at least two nodes and at least one directed edge; repeating the translating for additional fragments of the plurality of fragments of the first proof graph; and creating the second proof graph based on the translating.