Độ an toàn chuyển tiếp hoàn thiện (Perfect Forward Secrecy-PFS). Thủ tục trao đổi khúa cú xỏc thực cung cấp độ an toàn chuyển tiếp hoàn thiện nếu việc để lộ tài liệu khúa bớ mật thời hạn dài (long-term secret key material) khụng làm tổn hại đến độ an toàn của những khúa được trao đổi trong những lần vận hành trước. Tớnh chất độ an toàn chuyển tiếp hoàn thiện khụng ỏp dụng cho việc xỏc thực khụng cú trao đổi khúa.
Xỏc thực trực tiếp. Trong một số thủ tục trao đổi khúa, việc xỏc thực khụng được thực hiện cho đến khi cả hai bờn chứng minh tri thức về khúa chung bằng cỏch sử dụng nú trong liờn lạc sau đú. Thủ tục như vậy gọi là khụng trực tiếp (indirect). Nếu việc xỏc thực được thiết lập ngay sau khi kết thỳc việc vận hành thủ tục thỡ thủ tục được gọi là trực tiếp. Một thủ tục giỏn tiếp cú thểđược sửa đổi để trở thành trực tiếp bằng cỏch thờm việc trao đổi một thụng điệp đó biết hay thụng điệp cú độ dư được mó bằng khúa đó trao đổi. Với xỏc thực khụng cú trao đổi khúa, thủ tục giỏn tiếp khụng cung cấp tớnh bảo mật vỡ khụng cú bờn nào cú thể chấp nhận nhận dạng của bờn kia.
Khụng cú tem thời gian. Trong khi tem thời gian là quen thuộc cho mục đớch quản lý và tài liệu húa, trong thực hành cần phải khụng dựa vào việc sử dụng nú đểđảm bảo độ mật của thủ tục xỏc thực. Những trở ngại, cảnh bỏo và việc chống lại tem thời gian được trỡnh bày ở [3], [5], [13]. Để cho tiện, sau đõy chỳng tụi túm tắt một số vấn đề chớnh.
Để sử dụng tem thời gian cho xỏc thực, tất cả cỏc bờn tham gia đều phải duy trỡ đồng hồ của mỡnh được đồng bộ thường xuyờn một cỏch an toàn với nguồn thời gian tin cậy. Giữa những lần đồng bộ với nguồn thời gian tin cậy, thời gian ở từng trạm cú thể khỏc nhau. Hai bờn, Alice và Bob, cần cho phộp một cửa sổ thời gian cho tem thời gian để bự lại những chờnh lệch đồng hồ cục bộ và việc thụng điệp đi trờn mạng cũng tốn thời gian. Alice sẽ chấp nhận tem thời gian từ Bob nếu nú nằm trong cửa sổ xung quanh thời gian tại đồng hồ cục bộ của Alice và thờm nữa là Bob phải chưa sử dụng giỏ trị thời gian này trước đõy. Alice cú thể lưu trữ tất cả giỏ trị thời gian được sử dụng bởi tất cả cỏc bờn mà nằm trong cửa sổ hiện nay của cụ ta (điều này cú thể là khụng thực tế trong một số mụi trường truyền thụng) hoặc Alice cú thể lưu trữ thời điểm cuối cựng được sử dụng bởi mỗi bờn và kiờn quyết đũi hỏi tăng giỏ trị thời gian từ mỗi bờn tham gia. Tuy nhiờn, trong trường hợp giỏ trị thời gian tăng thực sự, nếu Bob sử dụng thời điểm t ở tương lai xa vỡ một lý do nào đú (sự chờnh lệch đồng hồ lớn hoặc đồng bộ sai với nguồn thời gian tin cậy), thỡ Bob khụng thể liờn lạc với Alice cho đến khi thời điểm t nằm trong cửa sổ của Alice. Để trỏnh điều này, Alice cần phải lưu trữ thời điểm t và khụng cập nhật nhật ký của mỡnh đối với giỏ trị thời gian cuối cựng được sử dụng bởi Bob. Điều này cú thể dẫn đến việc phải chọn số lượng lớn cỏc dữ liệu được lưu trữ, hy sinh khả năng truyền thụng hoặc hy sinh độ an toàn. Liờn quan đến khả năng truyền thụng, nếu đồng hồ cục bộ của 2 bờn rất khụng đồng bộ với nhau thỡ
hai bờn khụng thể liờn lạc. Điều này làm cho những ai lo lắng tới khả năng truyền thụng muốn cửa sổ thời gian rộng, như vậy làm tăng yờu cầu lưu trữ. Trong khi tem thời gian được coi là tiện lợi từ quan điểm lý thuyết, nú làm nảy sinh nhiều vấn đề thực tế. Những thủ tục dựa trờn cỏc thỏch thức ngẫu nhiờn khụng gặp phải những khú khăn ấy.
Gần đõy, cỏc phõn tớch hỡnh thức đó được sử dụng trong việc kiểm tra cỏc thủ tục xỏc thực [7], [13]. Bắt đầu bằng danh sỏch cỏc niềm tin hỡnh thức khởi đầu, mục tiờu là bằng một cỏch logic dẫn đến mục đớch của thủ tục đó được phỏt biểu bằng cỏch ỏp dụng danh sỏch cỏc bước của thủ tục. Một trong những giả thiết cơ sở mà phõn tớch như vậy thường dựa vào là cỏc bờn tham gia cú khả năng kiểm tra tớnh được làm tươi (freshness) của tem thời gian. Thực ra, một trong những kết quả chớnh của cụng trỡnh do Gaarder và Snekkenes thực hiện cho thấy cú sự gắn bú chặt chẽ của yờu cầu độ an toàn với việc đồng hồ phải được tin cậy trong một thủ tục nào đú. Điều này cú nghĩa là trong thực tế, độ an toàn của thủ tục dựa vào tem thời gian phụ thuộc mạnh vào việc thi hành đỳng đắn cỏc đồng hồđược đồng bộ và bảo vệ an toàn. Khụng may, mặc dự đó cú nhiều tài liệu bàn về cỏc thủ tục dựa vào tem thời gian (vớ dụ [8], [16]), khi ỏp dụng thực tế cỏc thủ tục này cho thấy, việc đảm bảo an ninh cho cỏc đồng hồ dễ bị vi phạm và hơn nữa, giỏ thành chi cho việc thi hành đỳng đắn cũng đỏng kể.