机译:面向IT本科生的密码学和安全协议课程
College of Information Technology UAE University Al Ain, United Arab Emirates;
computing curricula; active learning; teaching cryptographic algorithms; security protocols;
机译:通过计算模型中的模型提取对JAVA中的加密安全协议实现的加密安全进行机械化验证
机译:网络安全加密协议和晶格问题
机译:用于数据安全的认知和生物密码协议
机译:采取灵活多样的方法使本科生对密码学课程感兴趣
机译:具有强大安全性的加密协议:不可否认的承诺,并发零知识和隐藏拓扑的多方计算。
机译:BGP安全协议中用于最小化加密处理的优化算法的设计和分析
机译:关于使用见证函数的小定理的加密协议的安全性
机译:扩展组协议和低级加密基元的正式密码协议分析技术