digraph {
	# nodes
	02932005 [label="BSI-DSZ-CC-0293-2005"] [shape=box]
	03922007 [label="BSI-DSZ-CC-0392-2007"]
	03902007 [label="BSI-DSZ-CC-0390-2007"]
	200718 [label="ANSSI-CC-2007/18"]
	03462006 [label="BSI-DSZ-CC-0346-2006"]
	03682006 [label="BSI-DSZ-CC-0368-2006"]
	03472006 [label="BSI-DSZ-CC-0347-2006"]
	02962006 [label="BSI-DSZ-CC-0296-2006"]
	03582006 [label="BSI-DSZ-CC-0358-2006"]
	03682006 [label="BSI-DSZ-CC-0368-2006"]

	# edges
	03922007 -> 02932005 [color=red]
	03902007 -> 02932005 [color=red]
	200718 -> 02932005 [color=red]
	03462006 -> 02932005 [color=red]
	03682006 -> 02932005 [color=red]
	03472006 -> 02932005 [color=red]
	02962006 -> 02932005 [color=red]

	03582006 -> 03682006 [color=red]
}