All of them are good suggestions, but I feel cryptographic trust needs to be maintained in a solution for exchanging encryption keys especially since Alice is dead and Bob should be whom he claims to be but verified by the system.