Provably secure session key distribution

Abstract
No abstract available