A Calculus for Secure Mobility.

Bruno Blanchet Benjamin Aziz

Published in: ASIAN (2003)

Keyphrases

mobile networks
security issues
security requirements
key management
mobility patterns
lightweight
mobile users
cryptographic protocols
user authentication
encryption scheme
computer algebra
key exchange
security level
authentication protocol
database
multi party
mobile agents
neural network