This states that Alice formula _ 2 intends a message for Bob formula _ 3 consisting of a message formula _ 4 encrypted under shared key formula _ 5 .
This states that Alice formula 2 intends a message for Bob formula 3 consisting of a message formula 4 shared under encrypted key formula 5 .