a logic-based security language (0)

by J DeTreville
Venue:In Proc. 2002 IEEE Symposium on Security and Privacy