司华斌 王慧群 林静 时洪波 桑永宣

模特征标三元组 Clifford对应 SVO逻辑 范畴等价 SBPC-相关幂零群 正规三元组 可信第三方 稳定子极限 自同构 投射生成子 半直积 形式化分析 群作用 Brauer特征标 Cartan矩阵 特征标 不可否认密码协议 块代数 分次同态环 Abel范畴

厦门大学数学科学学院 福建厦门 厦门大学数学系 江苏南京 南京财经大学数学系