Algebraic-functional specification of security policies in distributed systems

Project: Research

Project Details

StatusFinished
Effective start/end date1/01/200931/12/2010