Nominal Calculi for Security and Mobility (1997)

by Andrew D. Gordon
Venue:IN PROC. DARPA WORKSHOP ON FOUNDATIONS FOR SECURE MOBILE CODE
Citations:23 - 0 self