a logic-based security language (2002)

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