Login / Signup
Knowledge Problems in Security Protocols: Going Beyond Subterm Convergent Theories.
Saraid Dwyer Satterfield
Serdar Erbatur
Andrew M. Marshall
Christophe Ringeissen
Published in:
FSCD (2023)
Keyphrases
</>
security protocols
knowledge base
automated design
optimization problems
real time
databases
digital libraries
wireless sensor networks
knowledge management
lightweight
benchmark problems
computing systems
cryptographic algorithms