Rewriting and Types for Mobile Code Security: Access Control and Protocol Validation

Project: Research

Project Details

StatusFinished
Effective start/end date1/01/200831/12/2011