a logic-based security language (2002)

by Binder
Venue:In IEEE Symposium on Security and Privacy