1. A method 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.