a logic-based security language (0)

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