Login / Signup

A Symbolic Framework to Analyse Physical Proximity in Security Protocols.

Alexandre DebantStéphanie DelauneCyrille Wiedling
Published in: FSTTCS (2018)
Keyphrases
  • security protocols
  • artificial intelligence
  • automated design
  • databases
  • web services
  • similarity measure