Cryp­to­gra­phic Se­man­ti­cs For The Al­ge­braic Mo­dels

Andre Adels­bach, Chris­ti­an Stüb­le, S. Cree­se, B. Pfitz­mann, P. Ryan, W. Sim­monds, S. Stein­brech­ner, M. Stei­ner, M. Waid­ner

MAF­TIA De­li­ver­a­ble D8, Fe­bru­ary 2002

[pdf]

Tags: