security - BAN 逻辑 - 获取消息的新鲜度

Question

关于 BAN 逻辑的快速问题。

假设我推导出 A 相信 B 说 {Kr}Ka

我已经知道新鲜（Ka）。

那么我可以得出结论，作为新鲜（Ka）那么 {Kr}Ka 也是新鲜的。

简而言之，我的问题是：如果我有一条由新鲜密钥加密的消息，我可以断定整个消息都是新鲜的吗？

谢谢你的帮助。