security - BAN ロジック - メッセージの鮮度を引き出す

Question

BAN ロジックに関する簡単な質問です。

A が B が {Kr}Ka と言ったと信じていることを導き出したとします。

私はそれを新鮮に知っています（Ka）。

それでは、fresh(Ka) の場合、{Kr}Ka もフレッシュであると結論付けることができますか。

一言で言えば、私の質問は次のとおりです。新鮮なキーで暗号化されたメッセージがある場合、メッセージ全体が新鮮であると結論付けることができますか?

ご協力いただきありがとうございます。