大家在查：模式识别敏感数据敏感个人信息柠檬问题农业信息资源密码分析学目录信息树面分类法面向服务架构粘性预期

密码协议

网络cryptographic protocol; Cryptographic Protocols; Secret Agreement

密码协议

密码协议

密码协议

cryptographic protocol

密码协议（cryptographic protocol）是使用密码技术的通信协议（communication protocol）。近代密码学者多认为除了传统上 …

Cryptographic Protocols

2013年第三届信... ... Security Management 安全管理 Cryptographic Protocols 密码协议 Access Control & Audit 访问控制和审 …

Secret Agreement

双方都可以计算相同的秘密值，这在 Managed Diffie-Hellman 类别中称为「密码协议」(Secret Agreement)。然后密码协议可 …

1

The cryptographic protocol is one of the key problems .

网络安全的关键问题之一是密码协议的安全性。

2

3

Quantum cryptography protocols have the feature of unconditional security, which is ensured by attack-detection .

量子密码协议具有无条件安全特性，其安全性通过窃听检测来保证。

5

Design and Analysis of a Mutual-Authentication Cryptographic Protocol

一种互认证密码协议的设计和分析

7

Undeniable Cryptographic Protocol for Both Sender and Receiver and Its Applications

一种双方不可否认的密码协议及应用

8

Hierarchy Requirements and Verification for Cryptographic Protocols

密码协议的分层安全需求及验证

9

Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net

有色 Petri 网的一种密码协议建模分析

10

Using construct categorical algebra language for formal description of cryptographic protocol

使用构造类别代数描述和验证密码协议

11

An Algorithm with Polynomial Time Complexity for Verifying Secrecy Properties of Cryptographic Protocols

一种多项式时间复杂度的密码协议秘密性验证方法

12

Formal Model and Security Analysis for Cryptographic Protocols in the Distributed Network Environment

分布式网络环境下密码协议形式模型和安全性

13

Indexed Principal Processes for Cryptographic Protocols

密码协议主体角色进程表示

14

Attack on and Improvement of the Running Mode of the Two-Party Cryptographic Protocols

对两个双方密码协议运行模式的攻击及改进

15

Improvement of quantum cryptographic protocols

量子密码协议的改进

16

Symbolic model checking analysis for cryptographic protocol

密码协议的符号模型检测及分析

17

Improved Digital Signature Cryptogram Agreement Using Hash

利用 Hash 函数改造的数字签名密码协议

18

Formal Analysis and Design Principles of Cryptographic Protocols

密码协议的形式化分析与设计原则

19

Proving Secrecy Property of Cryptographic Protocols

密码协议的秘密性证明

20

Formal Specification of Cryptographic Protocols Using PVS

基于 PVS 的密码协议形式化规范

21

Research of a new quantum key protocol attacked

对一个新量子密码协议攻击的研究

22

New approach for formal analyzing encryption protocols

一种新的密码协议分析方法及其应用

23

A Logic for Formal Verification and Design of Cryptographic Protocols

一种用于密码协议形式化验证的简单逻辑

24

Analyzing the Attacks Types on the Cryptographic Protocol

一种对密码协议攻击的分类分析

25

Strand space model to prove the security of cryptographic protocols

用于密码协议安全性证明的串空间模型

26

An Agent-Oriented Logic for Design of Cryptographic Protocols

一种面向主体的密码协议设计逻辑

27

Model checking based on compositional reasoning for cryptographic protocols

密码协议的一种基于组合推理的模型验证

28

Research on formalized method of crypto protocol analysis

密码协议分析的形式化方法研究

29

A Security Model for Cryptographic Protocols

密码协议的一种安全模型

30

A New Logic for the Analysis of Cryptographic Protocols

一种分析密码协议的新逻辑

热词推荐

大家在看