MODELS OF PROBABILITIC AUTOMATA WITH APPLICATIONS TO SECURITY CRYPTO-PROTOCOLS

$211,096FY2009Department of the NavyDOD

The Administrators Of Tulane Educational Fund

Investigators