Login / Signup
Two-Way Protocol with Imperfect Devices.
Marco Lucamarini
Alessandro Ceré
Giovanni Di Giuseppe
Stefano Mancini
David Vitali
Paolo Tombesi
Published in:
Open Syst. Inf. Dyn. (2007)
Keyphrases
</>
network devices
lightweight
mobile devices
electronic devices
network protocols
formal analysis
security protocols
authentication protocol
cryptographic protocols
communication infrastructure
coloured petri nets
database
communication networks
smart phones
embedded devices
mobile agent system