"Efficient Proving for Practical Distributed Access-Control Systems."

Lujo Bauer, Scott Garriss, Michael K. Reiter (2007)

Details and statistics

DOI: 10.1007/978-3-540-74835-9_3

access: open

type: Conference or Workshop Paper

metadata version: 2019-08-20