Login / Signup
A Realistic Environment for Crypto-Protocol Analyses by ASMs.
Giampaolo Bella
Elvinia Riccobene
Published in:
Workshop on Abstract State Machines (1998)
Keyphrases
</>
lightweight
security protocols
real time
mobile robot
dynamic environments
cryptographic protocols
virtual world