a logic-based security language (0)

by J DETREVILLE
Venue:In Proceedings of the IEEE Symposium on Security and Privacy