倪友聪 李援 张佑生 陈金兰 张家精

形式化模型 定性 串空间图 隶属概念 不确定性 事件图 云模型 时间复杂度 密码协议 形式化建模 定量 主体角色进程 随机性 安全协议 图元 模糊性

合肥工业大学计算机与信息学院 安徽建筑工业学院数理系 安徽合肥