一些标识密钥交换协议的安全性分析

     摘要: 安全性定义   KSK：已知会话密钥安全。指每次协议的执行都会产生不同的会话密钥，且一个会话密钥的泄露不会危及其它会话密钥（包括并行的、以前的、将来的会话密钥）的安全性   FS、PFS：前向安全。指如果一方或多方的长期密钥泄露后，以前使用它们执行协议生成的会话密钥的安全性不会受到影响。             ...  阅读全文

2026-05-04 09:49 作者: 春秋十二月【评论:0】【阅读:84】 

SM4的解密验证及S盒安全性分析

     摘要:  本文解释SM4算法解密时轮密钥为什么要反序，给出S盒的复现构造、安全性分析，以及相关sage代码（SageMath版本为10.7），安全性分析包括基本代数性质、差分分析表、线性逼近表。关于SM4算法的标准，具体参考文献[1] 解密验证  依文献[1] 解密变换与加密变换使用相同的结构，仅是轮密钥顺序不同，解密时使用轮密钥序（rk31，rk30，…，rk...  阅读全文

2026-04-08 13:33 作者: 春秋十二月【评论:0】【阅读:212】 

关于格的行列式之解释

先摘自文献[1]中Lattice-based Cryptography章节引用的结论

 
 
 
再对上文三个结论稍作证明如下 

  

   
  

参考文献

  [1]  Post-Quantum Cryptography

  [2]  算法数论                 裴定一 祝跃飞 

  [3]  高等代数                 丘维声

2026-03-04 16:41 作者: 春秋十二月【评论:0】【阅读:283】