Gong-Needham-Yahalom logic

From Free net encyclopedia