Login / Signup
Constructive Cryptography in HOL: the Communication Modeling Aspect.
Andreas Lochbihler
S. Reza Sefidgar
Published in:
Arch. Formal Proofs (2021)
Keyphrases
</>
communication networks
communication systems
email
theorem prover
communication technologies
formal methods
databases
learning environment
intrusion detection
instant messaging
communication patterns