位置：成果数据库 > 会议 > 会议详情页
A Formal Model to verify Authentication Protocols with Timeout Strategy
  • 所属机构名称：西安电子科技大学
  • 会议名称：the 3rd International Conference on Advanced Computer Theory and Engineering
  • 成果类型：会议
  • 相关项目：可证明安全的公钥加密方案设计与分析
作者： Weibo Liu|Yuanyuan Yang|Wenping Ma|Yi Jiao|
同会议论文项目
可证明安全的公钥加密方案设计与分析
期刊论文 28 会议论文 17
同项目会议论文
A Large Family of Binary Sequences with Low Correlation
Investigation of Probabilistic Encryption Method Based on 3-LFSR
New construction of single-and multi-output Boolean functions with high algebraic immunity
Novel Parallel Interleaver Based on Chinese Remainder Theorem
Improved hill-climbing methods in the design of Bijective S-Boxes
Fair exchange signature schemes
Novel remote user authentication scheme using bilinear pairings
Secure IBE Scheme with Security Proof under Standard Model
Self-Dual Codes Over Finite Chain Rings
Fair Exchange Signature Schemes
Improvement of SAT-based Model Checking of Security Protocols
Novel access control scheme with user authentication using smart cards
Security Analysis of the Santi-Magda Elliptic Curve-Based RFID Protocol
Efficiently CCA Secure HIBE Schemes under Double Models with Constant Ciphersize
A New Attack on the BAN Modified Andrew Secure RPC Protocol
Password-based access control scheme with remote user authentication using smart cards