The top documents tagged [higherorder logic]
Constructive Access Control
264 views
Proving Security Protocols Correct
58 views
First Order Logic
35 views