Login / Signup

Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later.

Catherine A. Meadows
Published in: Logic, Rewriting, and Concurrency (2015)
Keyphrases
  • formal methods
  • formal analysis
  • software engineering
  • wireless sensor networks
  • knowledge acquisition
  • security properties