×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [proof of access rights]
Home >
proof of access rights
CLF: A Concurrent Logical Framework David Walker Princeton (with I. Cervesato, F. Pfenning, K. Watkins)
220 views
CLF: A Concurrent Logical Framework
83 views
Protection, identity, and trust Jeff Chase Duke University.
217 views