搜索结果: 1-3 共查到“军事学 formal security”相关记录3条 . 查询时间(0.145 秒)
A Formal Security Analysis of the Signal Messaging Protocol
protocols messaging post-compromise security
2016/12/8
Signal is a new security protocol and accompanying app that provides end-to-end encryption for
instant messaging. The core protocol has recently been adopted by WhatsApp, Facebook Messenger, and
Goo...
Plaintext-Dependent Decryption：A Formal Security Treatment of SSH-CTR
SSH counter mode security proof
2010/3/16
This paper presents a formal security analysis of SSH in counter mode in a security model
that accurately captures the capabilities of real-world attackers, as well as security-relevant features
of ...
Formal Security Treatments for IBE-to-Signature Transformation:Relations among Security Notions
identity based encryption digital signature security notions
2008/9/18
In a seminal paper of identity based encryption (IBE), Boneh and Franklin [BF01] mentioned an
interesting transform from an IBE scheme to a signature scheme, which was observed by Moni Naor.In this p...