thuộc tính đại số ảnh hưởng đến một giao thức

Đây là từ một bài kiểm tra trước đây. Câu hỏi như sau:

Một nhà thiết kế giao thức sử dụng chữ ký để đơn giản hóa và hy vọng là đúng, NSPK:

1. $A â B$ : $sign(sk_A, mã hóa(pk_B, N_A))$
2. $B â A$ : $sign(sk_B, mã hóa(pk_A,(N_A, k)))$

ở đâu $N_A$ là một nonce ngẫu nhiên mới được tạo bởi $A$, $k$ là một khóa phiên mới được tạo bởi $B$và các hoạt động ký và mã hóa sử dụng hệ thống mật mã khóa công khai để ký và mã hóa theo các khóa tương ứng. Bạn nên cho rằng $A$ và $B$ biết nhau khóa công khai $pk_A$ và $pk_B$.

Điều này có hoạt động không (i) trong trường hợp chữ ký và mã hóa không thỏa mãn các thuộc tính đại số khác với những gì được ngụ ý bởi định nghĩa của chúng và (ii) nếu chữ ký và mã hóa thay đổi (I E. $sign(k_1, mã hóa(k_2, x))$ = $encrypt(k_2,(sign(k_1, x)))$?

Trong mỗi trường hợp, hoặc lập luận một cách thuyết phục rằng giao thức sửa đổi hoạt động hoặc phân tích chính xác những gì cuộc tấn công của bạn vào nó đạt được.

Tôi không thể nghĩ ra một người đàn ông trong cuộc tấn công ở giữa hoặc một cuộc tấn công phản xạ cho giao thức này - và thực sự không thấy các thuộc tính đại số của các hàm này có liên quan như thế nào? Làm thế nào để tôi giải quyết câu hỏi này?