A Re-Use Methodology for SoC Protocol Compliance Verification.

Minh D. Nguyen Max Thalmaier Markus Wedler Dominik Stoffel Wolfgang Kunz

Published in: MBMV (2009)

Keyphrases

cryptographic protocols
formal analysis
protocol specification
low power
model checking
lightweight
formal proof
model checker
communication protocol
security protocols
network protocols
high security
communication protocols
neural network
formal methods
face verification
temporal logic
wireless sensor networks