搜索结果: 1-3 共查到“计算机科学技术基础学科 T-Test”相关记录3条 . 查询时间(0.187 秒)
Field Test of Measurement-Device-Independent Quantum Key Distribution
Field test Measurement-Device-Independent Quantum Key Distribution Automatic Feedback Systems
2016/1/22
A main type of obstacles of practical applications of quantum key distribution (QKD) network is various attacks on detection. Measurement-device-independent QKD (MDIQKD)protocol is immune to all these...
基于Authentication Test方法的高效安全IKE形式化设计研究
协议设计 形式化方法 Authentication tests 密钥交换 Strand space模型
2007/12/27
基于Authentication Test方法，围绕高效安全Internet密钥交换(ESIKE)协议的安全目标，提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法，设计出了高效安全的IKE协议；并且基于Strand Space模型和Authentication Test方法，形式化分析ESIKE协议，证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IK...
Distributed 2-Vertex Connectivity Test of Graphs Using Local Knowledge
Distributed computing fault-tolerance graph relabeling systems
2010/2/2
The vertex connectivity of a graph is the smallest
number of vertices whose deletion separates the graph or makes it
trivial. This work is devoted to the problem of vertex connectivity
test of grap...