Sign in
Secure Guarded Commands.
Flemming Nielson
Hanne Riis Nielson
Published in:
From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
Keyphrases
</>
digital signature
knowledge base
high level
fixed point
query answering