| Authors: | Ghilezan, Silvia | Title: | Types in access control and privacy : Invited talk | Conference: | NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, Japan | Issue Date: | 2015 | Rank: | M32 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.