USENIX Security ’23 – Cas Cremers, Charlie Jacomme, Aurora Naska – Formal Analysis of Session-Handling in Secure Messaging: Lifting Security from Sessions to Conversations
2024-2-2 04:0:0 Author: securityboulevard.com(查看原文) 阅读量:10 收藏


文章来源: https://securityboulevard.com/2024/02/usenix-security-23-cas-cremers-charlie-jacomme-aurora-naska-formal-analysis-of-session-handling-in-secure-messaging-lifting-security-from-sessions-to-conversations/
如有侵权请联系:admin#unsafe.sh